Propositional calculus - Congresses.

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)

Handbook of satisfiability by: (Language materials, printed)

Computer algorithms

Algorithm Analysis and Problem Complexity.

Decision making

Logic Design.

Computer Science.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Propositional calculus

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Computer software