Published 2003 | Version v1

Publication Metadata-only

The Rewriting Approach to Satisfiability Procedures

Creators: ARMANDO, ALESSANDRO; RANISE S.; RUSINOWITCH M.

Others:: Armando, Alessandro; Ranise, S.; Rusinowitch, M.

Additional details

Created:: March 25, 2023
Modified:: November 27, 2023