Improved design debugging using maximum satisfiability

Sean Safarpour; Hratch Mangassarian; Andreas Veneris; Mark H. Liffiton; Karem A. Sakallah

doi:10.1109/FAMCAD.2007.26

Improved design debugging using maximum satisfiability

Sean Safarpour, Hratch Mangassarian, Andreas Veneris, Mark H. Liffiton, Karem A. Sakallah

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

Original language	English
Title of host publication	Proceedings - Formal Methods in Computer Aided Design, FMCAD 2007
Pages	13-19
Number of pages	7
DOIs	https://doi.org/10.1109/FAMCAD.2007.26
State	Published - 2007
Externally published	Yes
Event	Formal Methods in Computer Aided Design, FMCAD 2007 - Austin, TX, United States Duration: Nov 11 2007 → Nov 14 2007

Publication series

Name	Proceedings - Formal Methods in Computer Aided Design, FMCAD 2007

Conference

Conference	Formal Methods in Computer Aided Design, FMCAD 2007
Country/Territory	United States
City	Austin, TX
Period	11/11/07 → 11/14/07

ASJC Scopus Subject Areas

Computer Graphics and Computer-Aided Design

Access to Document

10.1109/FAMCAD.2007.26

Cite this

Safarpour, S, Mangassarian, H, Veneris, A, Liffiton, MH & Sakallah, KA 2007, Improved design debugging using maximum satisfiability. in Proceedings - Formal Methods in Computer Aided Design, FMCAD 2007., 4401977, Proceedings - Formal Methods in Computer Aided Design, FMCAD 2007, pp. 13-19, Formal Methods in Computer Aided Design, FMCAD 2007, Austin, TX, United States, 11/11/07. https://doi.org/10.1109/FAMCAD.2007.26

@inproceedings{c527fa71a5804f0a9f615bb90103201b,

title = "Improved design debugging using maximum satisfiability",

author = "Sean Safarpour and Hratch Mangassarian and Andreas Veneris and Liffiton, {Mark H.} and Sakallah, {Karem A.}",

year = "2007",

doi = "10.1109/FAMCAD.2007.26",

language = "English",

isbn = "0769530230",

series = "Proceedings - Formal Methods in Computer Aided Design, FMCAD 2007",

pages = "13--19",

booktitle = "Proceedings - Formal Methods in Computer Aided Design, FMCAD 2007",

note = "Formal Methods in Computer Aided Design, FMCAD 2007 ; Conference date: 11-11-2007 Through 14-11-2007",

}

TY - GEN

T1 - Improved design debugging using maximum satisfiability

AU - Safarpour, Sean

AU - Mangassarian, Hratch

AU - Veneris, Andreas

AU - Liffiton, Mark H.

AU - Sakallah, Karem A.

PY - 2007

Y1 - 2007

UR - http://www.scopus.com/inward/record.url?scp=44649101570&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=44649101570&partnerID=8YFLogxK

U2 - 10.1109/FAMCAD.2007.26

DO - 10.1109/FAMCAD.2007.26

M3 - Conference contribution

AN - SCOPUS:44649101570

SN - 0769530230

SN - 9780769530239

T3 - Proceedings - Formal Methods in Computer Aided Design, FMCAD 2007

SP - 13

EP - 19

BT - Proceedings - Formal Methods in Computer Aided Design, FMCAD 2007

T2 - Formal Methods in Computer Aided Design, FMCAD 2007

Y2 - 11 November 2007 through 14 November 2007

ER -

Improved design debugging using maximum satisfiability

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this