Application of constraints to formal verification and artificial intelligence

DOI10.1007/S10472-014-9412-ZzbMath1296.00043OpenAlexW1965555178MaRDI QIDQ457244

No author found.

Publication date: 26 September 2014

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-014-9412-z

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68Txx)

Uses Software

• Velev SAT Benchmarks

This page was built for publication: Application of constraints to formal verification and artificial intelligence