Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540482819, 9783540482826
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Boolean Rings for Intersection-Based Satisfiability

2006 ◽  
pp. 482-496 ◽  
Author(s):  
Nachum Dershowitz ◽  
Jieh Hsiang ◽  
Guan-Shieng Huang ◽  
Daher Kaiss
Keyword(s):  
Boolean Rings

scholarly journals SAT Solving for Argument Filterings

2006 ◽  
pp. 30-44 ◽  
Author(s):  
Michael Codish ◽  
Peter Schneider–Kamp ◽  
Vitaly Lagoon ◽  
René Thiemann ◽  
Jürgen Giesl
Keyword(s):  
Sat Solving

Automatic Combinability of Rewriting-Based Satisfiability Procedures

2006 ◽  
pp. 542-556 ◽  
Author(s):  
Hélène Kirchner ◽  
Silvio Ranise ◽  
Christophe Ringeissen ◽  
Duc-Khanh Tran
Load More ...
Sign in / Sign up

Export Citation Format

Share Document