Pages that link to "Item:Q1027644"
From MaRDI portal
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 5 items.
- The configurable SAT solver challenge (CSSC) (Q502389) (← links)
- Theory and applications of satisfiability testing -- SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19--22, 2011. Proceedings (Q544456) (← links)
- Propositional SAT Solving (Q3176367) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Automated-based rebound attacks on ACE permutation (Q6636106) (← links)