Augmenting Clause Learning with Implied Literals - (Poster Presentation).
Arie MatsliahAshish SabharwalHorst SamulowitzPublished in: SAT (2012)
Keyphrases
- clause learning
- poster presentation
- unit propagation
- answer sets
- sat solvers
- invited talk
- program committee
- boolean formula
- sat problem
- propositional satisfiability
- oral presentation
- satisfiability problem
- knowledge discovery and data mining
- logic programs
- acceptance rate
- max sat
- search tree
- special session
- logic programming
- artificial intelligence
- data mining
- heuristic search
- orders of magnitude
- np complete
- special case
- sat encodings
- search algorithm
- optimal solution