Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Application of Constraints to Formal Verification
Guest editors: Miroslav N. Velev
Article type: Editorial
Authors: Velev, Miroslav N.
Affiliations: Aries Design Automation, Chicago, IL, USA. E-mail: miroslav.velev@aries-da.com
DOI: 10.3233/SAT190049
Journal: Journal on Satisfiability, Boolean Modeling and Computation, vol. 5, no. 1-4, pp. i-iii, 2009