Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Alessandro Armando, Luca Compagna, Silvio Ranise. Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. In Dieter Hutter, Werner Stephan, editors, Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Volume 2605 of Lecture Notes in Computer Science, pages 30-45, Springer, 2005. [doi]

The following publications are possibly variants of this publication:

Automatic Combinability of Rewriting-Based Satisfiability ProceduresHélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. lpar 2006: 542-556 [doi]

System Description: RDL : Rewrite and Decision Procedure LaboratoryAlessandro Armando, Luca Compagna, Silvio Ranise. cade 2001: 663-669 [doi]

A rewriting approach to satisfiability proceduresAlessandro Armando, Silvio Ranise, Michaël Rusinowitch. iandc, 183(2):140-164, 2003. [doi]

runs on WebDSL