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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540278290, 9783540315803
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver

2005 ◽  
pp. 345-359 ◽  
Author(s):  
Marijn Heule ◽  
Mark Dufour ◽  
Joris van Zwieten ◽  
Hans van Maaren
Keyword(s):  
Look Ahead ◽  
Sat Solver

Zchaff2004: An Efficient SAT Solver

2005 ◽  
pp. 360-375 ◽  
Author(s):  
Yogesh S. Mahajan ◽  
Zhaohui Fu ◽  
Sharad Malik
Keyword(s):  
Sat Solver

An Algebraic Approach to the Complexity of Generalized Conjunctive Queries

2005 ◽  
pp. 30-45 ◽  
Author(s):  
Michael Bauland ◽  
Philippe Chapdelaine ◽  
Nadia Creignou ◽  
Miki Hermann ◽  
Heribert Vollmer
Keyword(s):  
Algebraic Approach ◽  
Conjunctive Queries
Load More ...
Sign in / Sign up

Export Citation Format

Share Document