2-satisfiability

Results: 107



#Item
31On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2

On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2009-02-02 09:55:31
32Collections, Cardinalities, and Relations Kuat Yessenov1⋆ , Ruzica Piskac2 , and Viktor Kuncak2⋆⋆ 1 2

Collections, Cardinalities, and Relations Kuat Yessenov1⋆ , Ruzica Piskac2 , and Viktor Kuncak2⋆⋆ 1 2

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2009-11-10 09:06:44
33Executing Specifications using Synthesis and Constraint Solving Viktor Kuncak?1 , Etienne Kneuss1 , and Philippe Suter1,2 1 2

Executing Specifications using Synthesis and Constraint Solving Viktor Kuncak?1 , Etienne Kneuss1 , and Philippe Suter1,2 1 2

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2013-07-10 09:01:49
34Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2

Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2014-05-24 11:45:01
35SAT and Hybrid models of the Car Sequencing problem Christian Artigues1,2 , Emmanuel Hebrard1,2 , Valentin Mayer-Eichberger3,4 , Mohamed Siala1,5 , and Toby Walsh3,4 1 CNRS, LAAS, 7 avenue du colonel Roche, FToul

SAT and Hybrid models of the Car Sequencing problem Christian Artigues1,2 , Emmanuel Hebrard1,2 , Valentin Mayer-Eichberger3,4 , Mohamed Siala1,5 , and Toby Walsh3,4 1 CNRS, LAAS, 7 avenue du colonel Roche, FToul

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-02-14 15:26:57
36SAT 2009 competitive events booklet: preliminary version Organizers SAT competition: Daniel Le Berre, Olivier Roussel, Laurent Simon PB competition: Vasco Manquinho, Olivier Roussel Max-SAT competition: Josep Argelich, C

SAT 2009 competitive events booklet: preliminary version Organizers SAT competition: Daniel Le Berre, Olivier Roussel, Laurent Simon PB competition: Vasco Manquinho, Olivier Roussel Max-SAT competition: Josep Argelich, C

Add to Reading List

Source URL: www.cril.univ-artois.fr

Language: English - Date: 2009-09-30 10:44:43
37Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2

Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2

Add to Reading List

Source URL: www.genetic-programming.org

Language: English - Date: 2014-07-05 17:14:07
38CCCG 2013, Waterloo, Ontario, August 8–10, 2013 Computational complexity and an integer programming model of Shakashaka Erik D. Demaine∗ Yoshio Okamoto†

CCCG 2013, Waterloo, Ontario, August 8–10, 2013 Computational complexity and an integer programming model of Shakashaka Erik D. Demaine∗ Yoshio Okamoto†

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2013-08-11 21:51:59
39On the possibility of faster SAT algorithms Mihai Pˇatra¸scu∗ AT&T Labs Florham Park, NJ Ryan Williams†

On the possibility of faster SAT algorithms Mihai Pˇatra¸scu∗ AT&T Labs Florham Park, NJ Ryan Williams†

Add to Reading List

Source URL: www.stanford.edu

Language: English - Date: 2009-11-12 23:47:30
40CCCG 2010, Winnipeg MB, August 9–11, 2010 Shooting Bricks with Orthogonal Laser Beams: A First Step towards Internal/External Map Labeling Maarten L¨offler∗

CCCG 2010, Winnipeg MB, August 9–11, 2010 Shooting Bricks with Orthogonal Laser Beams: A First Step towards Internal/External Map Labeling Maarten L¨offler∗

Add to Reading List

Source URL: cccg.ca

Language: English - Date: 2010-07-19 10:46:18