Solver

Results: 737



#Item
1DryadSynth:	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

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 04:54:12
2Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber

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

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2005-09-13 07:35:24
3Integrating 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

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2005-09-13 07:36:26
4The 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? †

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2008-04-24 09:03:36
5Multi-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

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-20 11:22:00
6Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.)   First Munich-Nancy Workshop on

Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2006-03-05 21:15:02
    7Introduction Applications SMT Solver Use Algorithms Conclusion

    Introduction Applications SMT Solver Use Algorithms Conclusion

    Add to Reading List

    Source URL: user.it.uu.se

    Language: English - Date: 2012-01-21 06:40:38
    8Solver Paramter Tuning and Runtime Predictions of Flexible Hybrid Mathematical models. Michael Barry University of Basel / HES-SO  /  Universitt Basel Petersplatz 1, 4001 Basel / Tec

    Solver Paramter Tuning and Runtime Predictions of Flexible Hybrid Mathematical models. Michael Barry University of Basel / HES-SO / Universitt Basel Petersplatz 1, 4001 Basel / Tec

    Add to Reading List

    Source URL: icaps16.icaps-conference.org

    Language: English - Date: 2016-06-09 08:09:19
    9MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain  Abstract. In this paper we introduce M INI M A

    MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A

    Add to Reading List

    Source URL: www.lsi.upc.edu

    Language: English - Date: 2007-03-01 08:21:24
    10SyGuS Techniques in the Core of an SMT Solver Andrew Reynolds SYNT Workshop July 22, 2017

    SyGuS Techniques in the Core of an SMT Solver Andrew Reynolds SYNT Workshop July 22, 2017

    Add to Reading List

    Source URL: www.react.uni-saarland.de

    Language: English - Date: 2017-08-02 04:54:12