Computer Aided Verification
From MaRDI portal
Publication:5716582
DOI10.1007/b138445zbMath1081.68607OpenAlexW2507913385MaRDI QIDQ5716582
Clark Barrett, Aaron Stump, Leonardo de Moura
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b138445
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
An experiment with satisfiability modulo SAT ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ Satisfiability Checking: Theory and Applications ⋮ Fast congruence closure and extensions ⋮ Equality detection for linear arithmetic constraints ⋮ Getting saturated with induction ⋮ On the modelling and optimization of preferences in constraint-based temporal reasoning ⋮ Visualizing SAT instances and runs of the DPLL algorithm ⋮ Exploiting Symmetry in SMT Problems ⋮ Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
Uses Software
This page was built for publication: Computer Aided Verification