Propositional calculus - Congresses.

Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings / by: (書目-電子資源)

Theory and Applications of Satisfiability Testing8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (書目-電子資源)

Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (書目-電子資源)

Theory and applications of satisfiability testing6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 200912th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings / by: (書目-電子資源)

Handbook of satisfiability by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201013th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (書目-電子資源)

Theory and application of satisfiability testingSAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / by: (書目-電子資源)

Handbook of satisfiability by: (書目-電子資源)

Propositional calculus

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Computer Science, general.

Software Engineering.

Computer algorithms

Logics and Meanings of Programs.

Mathematics of Computing.

Algebra, Boolean

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Operating Systems.

Programming Techniques.

Computer software

Computation by Abstract Devices.

Decision making

Logic Design.

Numeric Computing.

Computer Science.