![Theoretical computer science / Constraint programming / Software engineering / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Satisfiability modulo theories / Solver / Boolean satisfiability problem / DPLL algorithm / Constraint satisfaction problem Theoretical computer science / Constraint programming / Software engineering / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Satisfiability modulo theories / Solver / Boolean satisfiability problem / DPLL algorithm / Constraint satisfaction problem](https://www.pdfsearch.io/img/da00a47e97e8220ecc7a3e455252e2ca.jpg) Date: 2017-09-02 14:08:49Theoretical computer science Constraint programming Software engineering Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Solver Boolean satisfiability problem DPLL algorithm Constraint satisfaction problem | | Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland AbstractAdd to Reading ListSource URL: smt-workshop.cs.uiowa.eduDownload Document from Source Website File Size: 755,62 KBShare Document on Facebook
|