Propositional calculus - Congresses.

Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (Language materials, printed)

Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / by: (Language materials, printed)

Computer algorithms

Propositional calculus

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computer Science.

Operating Systems.

Decision making

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Numeric Computing.

Algebra, Boolean