Using Theory Resolution to Simplify Interpreted Formulae
- 1 January 1988
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Subsumption and implicationInformation Processing Letters, 1987
- Deciding Linear Inequalities by Computing Loop ResiduesJournal of the ACM, 1981
- On Cores and Prime Implicants of Truth FunctionsThe American Mathematical Monthly, 1959
- The Problem of Simplifying Truth FunctionsThe American Mathematical Monthly, 1952