Pages that link to "Item:Q428474"
From MaRDI portal
The following pages link to Theory and applications of satisfiability testing -- SAT 2012. 15th international conference, Trento, Italy, June 17--20, 2012. Proceedings (Q428474):
Displayed 6 items.
- The configurable SAT solver challenge (CSSC) (Q502389) (← links)
- Automatic construction of parallel portfolios via algorithm configuration (Q511786) (← links)
- Definability for model counting (Q2303508) (← links)
- Expansion-based QBF solving versus Q-resolution (Q2339467) (← links)
- SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers (Q3453227) (← links)
- A review of literature on parallel constraint solving (Q4559826) (← links)