scientific article
From MaRDI portal
Publication:2723442
zbMath0963.68534MaRDI QIDQ2723442
Philippe Chatalic, Laurent Simon
Publication date: 5 July 2001
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 (11)
Unnamed Item ⋮ Generating Extended Resolution Proofs with a BDD-Based SAT Solver ⋮ SAT-Inspired Higher-Order Eliminations ⋮ Equivalent literal propagation in the DLL procedure ⋮ A satisfiability procedure for quantified Boolean formulae ⋮ A taxonomy of exact methods for partial Max-SAT ⋮ DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions ⋮ πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space ⋮ Resolution cannot polynomially simulate compressed-BFS ⋮ ZRes ⋮ SAT-Inspired Eliminations for Superposition
Uses Software
This page was built for publication:
