Join algorithms for the theory of uninterpreted functions (2004)

by Sumit Gulwani , Ashish Tiwari , George C. Necula
Venue:IN 24TH CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS
Citations:6 - 4 self