Propositional calculus - Congresses.

Handbook of satisfiability by: (Language materials, printed)

Theory and application of satisfiability testing = SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing = 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / by: (Language materials, printed)

Computer algorithms

Propositional calculus

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computer Science.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Decision making

Computation by Abstract Devices.

Computer software

Logic Design.