a theory of satisfiability preserving proofs in sat
play

A Theory of Satisfiability-Preserving Proofs in SAT Solving Adrin - PowerPoint PPT Presentation

A Theory of Satisfiability-Preserving Proofs in SAT Solving Adrin Rebola-Pardo, Martin Suda TU Wien FMCAD Student Forum Austin, USA October 31st, 2018 Supported by FWF W1255-N23 and Microsofu Research through its PhD Programme A theory of


  1. A Theory of Satisfiability-Preserving Proofs in SAT Solving Adrián Rebola-Pardo, Martin Suda TU Wien FMCAD Student Forum Austin, USA October 31st, 2018 Supported by FWF W1255-N23 and Microsofu Research through its PhD Programme

  2. A theory of satisfiability-preserving proofs in SAT solving Question what is the mathematical content of DRAT proofs? [Heule, yesterday] Semantics of RAT / PR introduction Spoiler: you’ve been using this all along Better understanding of satisfiability-preservation Truth-preservation under a disguise Can we generalize satisfiability-preserving techniques to model-checking? Not yet, but we’re working on it 1

  3. A theory of satisfiability-preserving proofs in SAT solving Question what is the mathematical content of DRAT proofs? [Heule, yesterday] Semantics of RAT / PR introduction Spoiler: you’ve been using this all along Better understanding of satisfiability-preservation Truth-preservation under a disguise Can we generalize satisfiability-preserving techniques to model-checking? Not yet, but we’re working on it 1

  4. A theory of satisfiability-preserving proofs in SAT solving Question what is the mathematical content of DRAT proofs? [Heule, yesterday] Semantics of RAT / PR introduction Spoiler: you’ve been using this all along Better understanding of satisfiability-preservation Truth-preservation under a disguise Can we generalize satisfiability-preserving techniques to model-checking? Not yet, but we’re working on it 1

  5. A theory of satisfiability-preserving proofs in SAT solving Question what is the mathematical content of DRAT proofs? [Heule, yesterday] Semantics of RAT / PR introduction Spoiler: you’ve been using this all along Better understanding of satisfiability-preservation Truth-preservation under a disguise Can we generalize satisfiability-preserving techniques to model-checking? Not yet, but we’re working on it 1

  6. A theory of satisfiability-preserving proofs in SAT solving Question what is the mathematical content of DRAT proofs? [Heule, yesterday] Semantics of RAT / PR introduction Spoiler: you’ve been using this all along Better understanding of satisfiability-preservation Truth-preservation under a disguise Can we generalize satisfiability-preserving techniques to model-checking? Not yet, but we’re working on it 1

  7. A theory of satisfiability-preserving proofs in SAT solving Question what is the mathematical content of DRAT proofs? [Heule, yesterday] Semantics of RAT / PR introduction Spoiler: you’ve been using this all along Better understanding of satisfiability-preservation Truth-preservation under a disguise Can we generalize satisfiability-preserving techniques to model-checking? Not yet, but we’re working on it 1

  8. A theory of satisfiability-preserving proofs in SAT solving Question what is the mathematical content of DRAT proofs? [Heule, yesterday] Semantics of RAT / PR introduction Spoiler: you’ve been using this all along Better understanding of satisfiability-preservation Truth-preservation under a disguise Can we generalize satisfiability-preserving techniques to model-checking? Not yet, but we’re working on it 1

Recommend


More recommend