Theory and applications of satisfiability testing

Materias

• Computer algorithms
• Propositional calculus
• Congresses
• Decision making

Ediciones (2)

• Theory and Applications of Satisfiability Testing (2005)

  Springer · inglés · ISBN 9783540262763

• Theory and Applications of Satisfiability Testing (2005)

  Springer London, Limited · inglés · ISBN 9783540316794

Más obras de Fahiem Bacchus