scientific article
From MaRDI portal
Publication:2754079
zbMath0974.68526MaRDI QIDQ2754079
Armin Biere, Anubhav Gupta, Edmund M. Clarke, Poul Frederick Williams
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Formal methods for reasoning and uncertainty reduction in evidential grid maps ⋮ Formal verification based on Boolean expression diagrams ⋮ Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. ⋮ Quantifier elimination by dependency sequents ⋮ Transformations into Normal Forms for Quantified Circuits ⋮ The possibilistic Horn non-clausal knowledge bases
Uses Software
This page was built for publication: