<--- Back to Details
First PageDocument Content
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
Date: 2017-09-02 14:08:49
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

Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract

Add to Reading List

Source URL: smt-workshop.cs.uiowa.edu

Download Document from Source Website

File Size: 755,62 KB

Share Document on Facebook

Similar Documents

DryadSynth:	A	Concolic SyGuS Solver Xiaokang	Qiu (joint	work	with	Kangjing Huang	and	Yanjun Wang) Purdue	University SYNT	Workshop

DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

DocID: 1xW38 - View Document

Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber

Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber

DocID: 1xVzf - View Document

Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber

Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber

DocID: 1xVu1 - View Document

The Barcelogic SMT Solver (Tool Paper)? Miquel Bofill† , Robert Nieuwenhuis? , Albert Oliveras? , Enric Rodr´ıguez-Carbonell? and Albert Rubio? †

The Barcelogic SMT Solver (Tool Paper)? Miquel Bofill† , Robert Nieuwenhuis? , Albert Oliveras? , Enric Rodr´ıguez-Carbonell? and Albert Rubio? †

DocID: 1xVrM - View Document

Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014  Dynamic Symbolic Execution

Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution

DocID: 1xV4A - View Document