The design and implementation of the model constructing satisfiability calculus

Dejan Jovanović, Clark Barrett, Leonardo De Moura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the 13th international conference on format methods in computer-aided design, October 2013, Portland, Oregon (FMCAD '13)
Place of PublicationPortland, Oregon
PublisherFMCAD, Inc.
StatePublished - 2013

Cite this