Theory and Applications of Satisfiability Testing – SAT 2017 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319662626, 9783319662633
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PaInleSS: A Framework for Parallel SAT Solving

2017 ◽  
pp. 233-250 ◽  
Author(s):  
Ludovic Le Frioux ◽  
Souheib Baarir ◽  
Julien Sopena ◽  
Fabrice Kordon
Keyword(s):  
Sat Solving

A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic

2017 ◽  
pp. 380-397 ◽  
Author(s):  
Bishoksan Kafle ◽  
Graeme Gange ◽  
Peter Schachte ◽  
Harald Søndergaard ◽  
Peter J. Stuckey
Keyword(s):  
Benders Decomposition ◽  
Decomposition Approach ◽  
Integer Arithmetic

scholarly journals Theory Refinement for Program Verification

2017 ◽  
pp. 347-363 ◽  
Author(s):  
Antti E. J. Hyvärinen ◽  
Sepideh Asadi ◽  
Karine Even-Mendoza ◽  
Grigory Fedyukovich ◽  
Hana Chockler ◽  
...  
Keyword(s):  
Program Verification ◽  
Theory Refinement

From DQBF to QBF by Dependency Elimination

2017 ◽  
pp. 326-343 ◽  
Author(s):  
Ralf Wimmer ◽  
Andreas Karrenbauer ◽  
Ruben Becker ◽  
Christoph Scholl ◽  
Bernd Becker

A Distributed Version of Syrup

2017 ◽  
pp. 215-232 ◽  
Author(s):  
Gilles Audemard ◽  
Jean-Marie Lagniez ◽  
Nicolas Szczepanski ◽  
Sébastien Tabary

scholarly journals An Adaptive Prefix-Assignment Technique for Symmetry Reduction

2017 ◽  
pp. 101-118
Author(s):  
Tommi Junttila ◽  
Matti Karppa ◽  
Petteri Kaski ◽  
Jukka Kohonen
Keyword(s):  
Symmetry Reduction
Load More ...
Sign in / Sign up

Export Citation Format

Share Document