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
|