Pages that link to "Item:Q1027644"

The following pages link to Theory and applications of satisfiability testing -- SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30--July 3, 2009. Proceedings (Q1027644):

Displaying 3 items.

• The configurable SAT solver challenge (CSSC) (Q502389) (← links)
• Propositional SAT Solving (Q3176367) (← links)
• Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)