Transforming equality logic to propositional logic
Work
Year: 2003
Type: article
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 proposi... more
Authors Hans Zantema, Jan Friso Groote
Institution Eindhoven University of Technology
Cites: 12
Cited by: 13
Related to: 10
FWCI: 3.345
Citation percentile (by year/subfield): 81.28
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: gold