Keyphrases
- quantified boolean formulas
- boolean formula
- propositional satisfiability
- sat solvers
- sat solving
- conjunctive normal form
- boolean satisfiability
- unit propagation
- sat problem
- trust model
- propositional logic
- max sat
- reasoning tasks
- decision procedures
- np complete
- practical problems
- third party
- clause learning
- quantified boolean formulae
- boolean variables
- constraint programming
- automated reasoning
- trust evaluation
- industrial applications
- sat instances
- membership queries
- linear constraints
- davis putnam
- constraint solver
- binary decision diagrams
- cnf formula
- boolean functions
- satisfiability problem
- weighted max sat
- orders of magnitude