Keyphrases
- invited talk
- sat solving
- constraint programming
- propositional satisfiability
- sat solvers
- boolean formula
- linear programming
- sat problem
- quantified boolean formulas
- clause learning
- weighted max sat
- knowledge discovery and data mining
- satisfiability problem
- boolean satisfiability
- linear program
- satisfiability modulo theories
- max sat
- unit propagation
- constraint propagation
- selected papers
- backtracking search
- program committee
- search algorithm
- search strategies
- optimal solution
- stochastic local search
- constraint satisfaction problems
- phase transition
- np complete
- acceptance rate
- sat encodings
- australasian database conference
- linear constraints
- sat instances
- database
- answer set programming
- researchers and practitioners
- orders of magnitude
- search space
- objective function
- artificial intelligence