The design and implementation of the model constructing satisfiability calculus

Dejan Jovanović; Clark Barrett; Leonardo De Moura

The design and implementation of the model constructing satisfiability calculus

Dejan Jovanović, Clark Barrett, Leonardo De Moura

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings of the 13th international conference on format methods in computer-aided design, October 2013, Portland, Oregon (FMCAD '13)
Place of Publication	Portland, Oregon
Publisher	FMCAD, Inc.
State	Published - 2013

Cite this

The design and implementation of the model constructing satisfiability calculus. / Jovanović, Dejan; Barrett, Clark; De Moura, Leonardo.
Proceedings of the 13th international conference on format methods in computer-aided design, October 2013, Portland, Oregon (FMCAD '13). Portland, Oregon: FMCAD, Inc., 2013.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

@inproceedings{a003da08f7a04917bfd6c1a6fc2d82e8,

title = "The design and implementation of the model constructing satisfiability calculus",

author = "Dejan Jovanovi{\'c} and Clark Barrett and {De Moura}, Leonardo",

year = "2013",

language = "English (US)",

booktitle = "Proceedings of the 13th international conference on format methods in computer-aided design, October 2013, Portland, Oregon (FMCAD '13)",

publisher = "FMCAD, Inc.",

}

TY - GEN

T1 - The design and implementation of the model constructing satisfiability calculus

AU - Jovanović, Dejan

AU - Barrett, Clark

AU - De Moura, Leonardo

PY - 2013

Y1 - 2013

M3 - Conference contribution

BT - Proceedings of the 13th international conference on format methods in computer-aided design, October 2013, Portland, Oregon (FMCAD '13)

PB - FMCAD, Inc.

CY - Portland, Oregon

ER -