Theory and Applications of Satisfiability Testing - SAT 2013: 16th International
75,24 €
Invited Talks. - The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs. - There Are No CNF Problems. - Best Paper. - Soundness of Inprocessing in Clause Sharing SAT Solvers.
Jetzt bei Ebay:
