Decision Procedures for Equality Logic and Uninterpreted Functions
Part of the Texts in Theoretical Computer Science book series (TTCS)
KeywordsDecision Procedure Equality Logic Chordal Graph Satisfying Assignment Bibliographic Note
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 2008