SMT

Results: 999



#Item
11Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 New

Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 New

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-20 11:35:02
    12EJCIM 2018 Loria - Nancymars) Satisfiabilit´ e Modulo Th´ eories (SMT)

    EJCIM 2018 Loria - Nancymars) Satisfiabilit´ e Modulo Th´ eories (SMT)

    Add to Reading List

    Source URL: ejcim2018.sciencesconf.org

    Language: French - Date: 2018-04-05 04:10:59
      1313th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany

      13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany

      Add to Reading List

      Source URL: smtcomp.sourceforge.net

      Language: English - Date: 2018-07-14 13:51:00
      14raSAT: SMT for Polynomial Inequality To Van Khanh (UET/VNU-HN) Vu Xuan Tung, Mizuhito Ogawa (JAIST

      raSAT: SMT for Polynomial Inequality To Van Khanh (UET/VNU-HN) Vu Xuan Tung, Mizuhito Ogawa (JAIST

      Add to Reading List

      Source URL: smt2014.it.uu.se

      Language: English - Date: 2014-07-19 03:22:32
      1511th International Satisfiability Modulo Theories Competition (SMT-COMP 2016): Rules and Procedures Sylvain Conchon Paris-Sud University France

      11th International Satisfiability Modulo Theories Competition (SMT-COMP 2016): Rules and Procedures Sylvain Conchon Paris-Sud University France

      Add to Reading List

      Source URL: smtcomp.sourceforge.net

      Language: English - Date: 2018-10-23 05:42:15
      16Introduction Thereand Back Again Conclusions Integration of SMT Solvers with ITPs —

      Introduction Thereand Back Again Conclusions Integration of SMT Solvers with ITPs —

      Add to Reading List

      Source URL: user.it.uu.se

      Language: English - Date: 2010-03-02 09:46:28
      17The 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
      18Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers∗ Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi Eszterházy Károly University, Eger, Hungary IoT Research

      Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers∗ Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi Eszterházy Károly University, Eger, Hungary IoT Research

      Add to Reading List

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

      Language: English - Date: 2017-09-02 14:08:49
      19Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli

      Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli

      Add to Reading List

      Source URL: mebsout.github.io

      Language: English - Date: 2017-07-21 11:03:15
      20CAV 2007 19th International Conference on Computer-Aided Verification July 2007, Berlin, Germany SMT 2007:

      CAV 2007 19th International Conference on Computer-Aided Verification July 2007, Berlin, Germany SMT 2007:

      Add to Reading List

      Source URL: www.lsi.upc.edu

      Language: English - Date: 2007-07-09 05:14:16