Solving constraints over Bit-vectors with SAT-based model checking extended abstract

Yakir Vizel, Alexander Nadel, Sharad Malik

Research output: Contribution to journal › Conference article › peer-review

Original language	English (US)
Journal	CEUR Workshop Proceedings
Volume	1889
State	Published - 2017
Event	15th International Workshop on Satisfiability Modulo Theories, SMT 2017 - Heidelberg, Germany Duration: Jul 22 2017 → Jul 23 2017

All Science Journal Classification (ASJC) codes

@article{f3d474e943f24e5c85b71c241c66276c,

title = "Solving constraints over Bit-vectors with SAT-based model checking extended abstract",

author = "Yakir Vizel and Alexander Nadel and Sharad Malik",

year = "2017",

language = "English (US)",

volume = "1889",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "15th International Workshop on Satisfiability Modulo Theories, SMT 2017 ; Conference date: 22-07-2017 Through 23-07-2017",

}

TY - JOUR

T1 - Solving constraints over Bit-vectors with SAT-based model checking extended abstract

AU - Vizel, Yakir

AU - Nadel, Alexander

AU - Malik, Sharad

PY - 2017

Y1 - 2017

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

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

M3 - Conference article

AN - SCOPUS:85030130440

SN - 1613-0073

VL - 1889

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 15th International Workshop on Satisfiability Modulo Theories, SMT 2017

Y2 - 22 July 2017 through 23 July 2017

ER -