Algebra, Boolean - Congresses.
Overview
Works: | 10 works in 3 publications in 3 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 Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected 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)
Advanced Boolean techniquesselected papers from the 13th International Workshop on Boolean Problems /
by:
(Electronic resources)
Recent findings in Boolean techniquesselected papers from the 14th International Workshop on Boolean Problems /
by:
(Electronic resources)
Advanced Boolean techniquesselected papers from the 15th International Workshop on Boolean Problems /
by:
(Electronic resources)
Subjects