Theory and applications of satisfiability testing

Materias

• Computer algorithms
• Propositional calculus
• Congresses
• Decision making
• Calculus

Ediciones (2)

• Theory and Applications of Satisfiability Testing (2004)

  Springer London, Limited · inglés · ISBN 9783540246053

• Theory and Applications of Satisfiability Testing (2004)

  Springer · inglés · ISBN 9783540208518

Más obras de Enrico Giunchiglia