Automatic Combinability of Rewriting-Based Satisfiability Procedures

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

10.1007/11916277_37 ◽

2006 ◽

pp. 542-556 ◽

Cited By ~ 6

Author(s):

Hélène Kirchner ◽

Silvio Ranise ◽

Christophe Ringeissen ◽

Duc-Khanh Tran

Download Full-text