Propositional calculus - Congresses.
Overview
Works: | 9 works in 2 publications in 2 languages |
---|
Titles
Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
by:
(Electronic resources)
Theory and Applications of Satisfiability Testing8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
by:
(Electronic resources)
Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
by:
(Electronic resources)
Theory and applications of satisfiability testing6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 200912th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201013th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(Electronic resources)
Subjects