Solver

Results: 737



#Item
1Automated theorem proving / Concolic testing / Software testing / Equations / Z3 / Solver / Equation solving / Mathematics / Abstraction / Software engineering

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
2Mathematical logic / Type theory / Computability theory / Lambda calculus / Theoretical computer science / Model theory / Higher-order logic / Constructible universe / Mathematics

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
3Proof assistants / Theoretical computer science / Logic in computer science / Mathematical logic / Isabelle / Logic for Computable Functions / Mathematics / Resolution / Constructible universe / Theorem prover / LCF / Formal methods

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
4Theoretical computer science / Mathematics / Computational complexity theory / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Satisfiability modulo theories / Boolean satisfiability problem / Solver / Maximum satisfiability problem

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
5Software engineering / Computing / Computer programming / Cross-platform software / High-level programming languages / Abstract interpretation / Computer science / Symbolic execution / D / Pure / Concolic testing

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
6Constructible universe

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
    7Theoretical computer science / Logic in computer science / Formal methods / Mathematics / Electronic design automation / NP-complete problems / Satisfiability modulo theories / Boolean satisfiability problem / Solver / Formal verification / Model checking / SMT

    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
    8Mathematics / Applied mathematics / Modeling and simulation / Numerical software / Solver / Mathematical model / Mathematical modeling / Artificial neural network / Economic model / Open energy system models / PLPAK

    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
    9Theoretical computer science / Mathematics / Computational complexity theory / Logic in computer science / Automated theorem proving / Boolean algebra / NP-complete problems / Combinatorial optimization / Maximum satisfiability problem / Boolean satisfiability problem / Resolution / Unit propagation

    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
    10Theoretical computer science / Logic in computer science / Constraint programming / Electronic design automation / Satisfiability modulo theories

    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
    UPDATE