Theory and Applications of Satisfiability Testing - SAT 2006: 9th International
67,31 €
Invited Talks. - From Propositional Satisfiability to Satisfiability Modulo Theories. - Session 1. Proofs and Cores. - Complexity of Semialgebraic Proofs with Restricted Degree of Falsity. - Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel.
Jetzt bei Ebay:
