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

TOTAL DOCUMENTS

54
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642316111, 9783642316128
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Single-Solver Algorithms for 2QBF

2012 ◽  
pp. 487-488 ◽  
Author(s):  
Sam Bayless ◽  
Alan J. Hu

CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers

2012 ◽  
pp. 449-455
Author(s):  
Stephan Kottler ◽  
Christian Zielke ◽  
Paul Seitz ◽  
Michael Kaufmann
Keyword(s):  
Conflict Analysis ◽  
Sat Solvers

SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox

2012 ◽  
pp. 442-448 ◽  
Author(s):  
Florian Corzilius ◽  
Ulrich Loup ◽  
Sebastian Junges ◽  
Erika Ábrahám

Perfect Hashing and CNF Encodings of Cardinality Constraints

2012 ◽  
pp. 397-409 ◽  
Author(s):  
Yael Ben-Haim ◽  
Alexander Ivrii ◽  
Oded Margalit ◽  
Arie Matsliah
Keyword(s):  
Cardinality Constraints ◽  
Perfect Hashing

Henkin Quantifiers and Boolean Formulae

2012 ◽  
pp. 129-142 ◽  
Author(s):  
Valeriy Balabanov ◽  
Hui-Ju Katherine Chiang ◽  
Jie-Hong Roland Jiang
Keyword(s):  
Henkin Quantifiers

scholarly journals Off the Trail: Re-examining the CDCL Algorithm

2012 ◽  
pp. 30-43 ◽  
Author(s):  
Alexandra Goultiaeva ◽  
Fahiem Bacchus

scholarly journals On Efficient Computation of Variable MUSes

2012 ◽  
pp. 298-311 ◽  
Author(s):  
Anton Belov ◽  
Alexander Ivrii ◽  
Arie Matsliah ◽  
Joao Marques-Silva
Keyword(s):  
Efficient Computation

scholarly journals Improvements to Core-Guided Binary Search for MaxSAT

2012 ◽  
pp. 284-297 ◽  
Author(s):  
Antonio Morgado ◽  
Federico Heras ◽  
Joao Marques-Silva
Keyword(s):  
Binary Search

scholarly journals Using Term Rewriting to Solve Bit-Vector Arithmetic Problems

2012 ◽  
pp. 493-495
Author(s):  
Iago Abal ◽  
Alcino Cunha ◽  
Joe Hurd ◽  
Jorge Sousa Pinto
Keyword(s):  
Term Rewriting ◽  
Bit Vector
Load More ...
Sign in / Sign up

Export Citation Format

Share Document