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
Journal	CEUR Workshop Proceedings
Volume	1889
State	Published - 2017
Externally published	Yes
Event	15th International Workshop on Satisfiability Modulo Theories, SMT 2017 - Heidelberg, Germany Duration: 22 Jul 2017 → 23 Jul 2017

All Science Journal Classification (ASJC) codes

@article{4f9017b5de12459d9bf26ea0b2e52a96,

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 = "الإنجليزيّة",

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

M3 - مقالة من مؤنمر

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 -