Using Boolean Constraint Propagation for Sub-clauses Deduction.
Sylvain DarrasGilles DequenLaure DevendevilleBertrand MazureRichard OstrowskiLakhdar SaisPublished in: CP (2005)
Keyphrases
- constraint propagation
- search space
- conjunctive normal form
- constraint satisfaction problems
- constraint programming
- constraint reasoning
- first order logic
- boolean formula
- constraint solving
- temporal constraints
- constraint satisfaction
- inference rules
- theorem proving
- systematic search
- constraint graph
- boolean functions
- interval arithmetic
- arc consistency
- tree search
- heuristic search
- interval analysis
- quantifier elimination
- backtracking algorithms
- russian doll search
- search algorithm
- np complete
- linear programming
- finite domain
- satisfiability problem
- combinatorial problems
- cnf formula
- propositional logic
- constraint solver
- np hard