Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
- 1 January 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A rewriting approach to satisfiability proceduresInformation and Computation, 2003
- Strategies for Combining Decision ProceduresPublished by Springer Nature ,2003
- Light-weight theorem proving for debugging and verifying units of codePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Abstract Congruence ClosureJournal of Automated Reasoning, 2003
- Relating semantic and proof-theoretic concepts for polynomial time decidability of uniform word problemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Shostak LightPublished by Springer Nature ,2002
- A Generalization of Shostak#x2019;s Method for Combining Decision ProceduresPublished by Springer Nature ,2002
- ICS: Integrated Canonizer and Solver?Published by Springer Nature ,2001
- On Shostak's decision procedure for combinations of theoriesPublished by Springer Nature ,1996
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980