SAT 2005
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer Netherlands

9781402045523
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Applying SAT Solving in Classification of Finite Algebras

SAT 2005 ◽  
2007 ◽  
pp. 201-235
Author(s):  
Andreas Meier ◽  
Volker Sorge
Keyword(s):  
Sat Solving ◽  
Finite Algebras

The Complexity of Pure Literal Elimination

SAT 2005 ◽  
2007 ◽  
pp. 89-95
Author(s):  
Jan Johannsen

scholarly journals Backdoor Sets for DLL Subsolvers

SAT 2005 ◽  
2007 ◽  
pp. 73-88
Author(s):  
Stefan Szeider
Keyword(s):  
Backdoor Sets

scholarly journals Clause Weighting Local Search for SAT

SAT 2005 ◽  
2007 ◽  
pp. 97-142
Author(s):  
John Thornton
Keyword(s):  
Local Search

Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas

SAT 2005 ◽  
2007 ◽  
pp. 51-72
Author(s):  
Michael Alekhnovich ◽  
Edward A. Hirsch ◽  
Dmitry Itsykson
Keyword(s):  
Lower Bounds ◽  
Running Time

scholarly journals The SAT-based Approach to Separation Logic

SAT 2005 ◽  
2007 ◽  
pp. 237-263
Author(s):  
Alessandro Armando ◽  
Claudio Castellini ◽  
Enrico Giunchiglia ◽  
Marco Maratea
Keyword(s):  
Separation Logic

Symbolic Techniques in Satisfiability Solving

SAT 2005 ◽  
2007 ◽  
pp. 25-50
Author(s):  
Guoqiang Pan ◽  
Moshe Y. Vardi
Keyword(s):  
Satisfiability Solving

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings

SAT 2005 ◽  
2007 ◽  
pp. 143-179 ◽  
Author(s):  
Alan M. Frisch ◽  
Timothy J. Peugniez ◽  
Anthony J. Doggett ◽  
Peter W. Nightingale
Keyword(s):  
Local Search ◽  
Boolean Satisfiability ◽  
Stochastic Local Search ◽  
Satisfiability Problems

Satisfiability in the Year 2005

SAT 2005 ◽  
2007 ◽  
pp. 1-2
Author(s):  
Enrico Giunchiglia ◽  
Toby Walsh

scholarly journals Regular Random k-SAT: Properties of Balanced Formulas

SAT 2005 ◽  
2007 ◽  
pp. 181-200
Author(s):  
Yacine Boufkhad ◽  
Olivier Dubois ◽  
Yannet Interian ◽  
Bart Selman
Load More ...
Sign in / Sign up

Export Citation Format

Share Document