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 3 items.