Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach (Q1330807): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5604990 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3680754 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some results and experiments in programming techniques for propositional logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: An exact algorithm for the maximum clique problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modeling and integer programming techniques applied to propositional calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Method of Producing a Boolean Function Having an Arbitrarily Prescribed Prime Implicant Table / rank
 
Normal rank
Property / cites work
 
Property / cites work: Resolution vs. cutting plane solution of inference problems: Some computational experience / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic-based decision support. Mixed integer model formulation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational experience with an interior point algorithm on the satisfiability problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: A continuous approach to inductive inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: An interior point algorithm to solve computationally difficult set covering problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational limitations on learning from examples / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generating logical expressions from positive and negative examples via a branch-and-bound approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Relationship Between CNF and DNF Systems Derivable from Examples / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of the learnable / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 16:14, 22 May 2024

scientific article
Language Label Description Also known as
English
Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach
scientific article

    Statements

    Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach (English)
    0 references
    11 August 1994
    0 references
    inductive inference
    0 references
    clause satisfiability problem
    0 references
    maximum clique
    0 references
    identifying a hidden Boolean function
    0 references
    artificial intelligence
    0 references
    branch- and-bound
    0 references
    Karmakar's interior point method
    0 references

    Identifiers