Open AccessAn MCSAT treatment of Bit-Vectors (preliminary report)
Author(s) -
Stéphane Graham-Lengrand,
Dejan Jovanović
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , binary decision diagram , set (abstract data type) , mechanism (biology) , theoretical computer science , fragment (logic) , core (optical fiber) , variable (mathematics) , slicing , binary number , scheme (mathematics) , order (exchange) , algorithm , mathematics , arithmetic , programming language , telecommunications , mathematical analysis , philosophy , epistemology , finance , world wide web , economics