Satisfiability modulo bounded checking
From MaRDI portal
Publication:2405244
DOI10.1007/978-3-319-63046-5_8zbMath1494.68283OpenAlexW2735287568MaRDI QIDQ2405244
Publication date: 22 September 2017
Full work available at URL: https://hal.inria.fr/hal-01572531/file/paper.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Higher-order logic (03B16) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
Uses Software
This page was built for publication: Satisfiability modulo bounded checking