Transforming equality logic to propositional logic

Research output: Book/ReportReportAcademic

4 Citations (Scopus)
84 Downloads (Pure)


Abstract We investigate and compare various ways of transforming equality formulas to propositional formulas, in order to be able to solve satisfiability in equality logic by means of satisfiability in propositional logic. We propose equality substitution as a new approach combining desirable properties of earlier methods, we prove its correctness and show its applicability by experiments.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages13
Publication statusPublished - 2003

Publication series

NameComputer science reports
ISSN (Print)0926-4515

Fingerprint Dive into the research topics of 'Transforming equality logic to propositional logic'. Together they form a unique fingerprint.

Cite this