scientific article; zbMATH DE number 1995157
From MaRDI portal
Publication:4431379
zbMath1023.68656MaRDI QIDQ4431379
Hans Kleine Büning, Michael Buro
Publication date: 22 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (14)
Problem solving by searching for models with a theorem prover ⋮ Variable and term removal from Boolean formulae ⋮ Generating hard satisfiability problems ⋮ Hard random 3-SAT problems and the Davis-Putnam procedure ⋮ Critical behavior in the computational cost of satisfiability testing ⋮ Exploiting data dependencies in many-valued logics ⋮ A taxonomy of exact methods for partial Max-SAT ⋮ New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability ⋮ The design of the CADE-13 ATP system competition ⋮ Building decision procedures for modal logics from propositional decision procedures — The case study of modal K ⋮ Exploiting partial variable assignment in interpolation-based model checking ⋮ GridSAT: Design and implementation of a computational grid application ⋮ On threshold BDDs and the optimal variable ordering problem ⋮ A new method for testing decision procedures in modal logics
This page was built for publication: