scientific article
From MaRDI portal
Publication:2749859
zbMath0979.68050MaRDI QIDQ2749859
Hans van Maaren, Etienne de Klerk, Joost P. Warners
Publication date: 21 October 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 (4)
The state of SAT ⋮ Approximating minimal unsatisfiable subformulae by means of adaptive core search ⋮ An improved semidefinite programming relaxation for the satisfiability problem ⋮ A complete adaptive algorithm for propositional satisfiability
Uses Software
This page was built for publication:
