scientific article; zbMATH DE number 7178358
From MaRDI portal
Publication:5219923
zbMath1431.68111MaRDI QIDQ5219923
Leonardo de Moura, Pascal Fontaine, Clark Barrett
Publication date: 9 March 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational aspects of satisfiability (68R07)
Related Items (3)
Towards a trustworthy semantics-based language framework via proof generation ⋮ Scalable fine-grained proofs for formula processing ⋮ Flexible proof production in an industrial-strength SMT solver
Uses Software
This page was built for publication:
