Branching Rules for Satisfiability (Extended Abstract).
John N. HookerV. VinayPublished in: FSTTCS (1994)
Keyphrases
- extended abstract
- association rules
- satisfiability problem
- data sets
- rule extraction
- production rules
- rule discovery
- rule sets
- np complete
- background knowledge
- classification rules
- computational complexity
- search algorithm
- database
- domain experts
- association rule mining
- xml documents
- search tree
- propositional logic
- decision trees