Boolean Formulas.
Arturo Hernández AguirreBill P. BucklesCarlos A. Coello CoelloPublished in: ICES (2001)
Keyphrases
- boolean formula
- sat solvers
- practical problems
- np complete
- linear constraints
- boolean variables
- unsatisfiable cores
- conjunctive normal form
- membership queries
- sat problem
- binary decision diagrams
- learning theory
- evolutionary algorithm
- machine learning
- boolean functions
- max sat
- constraint satisfaction
- learning algorithm