Combining Satisfiability Procedures by Equality-Sharing

• 1 January 1984
• other
• Published by American Mathematical Society (AMS) in Contemporary Mathematics
• Vol. 29, 201-212
• https://doi.org/10.1090/conm/029/11

Abstract