scientific article
From MaRDI portal
Publication:2741524
zbMath0990.90554MaRDI QIDQ2741524
Inês Lynce, Luís Baptista, João P. Marques-Silva
Publication date: 24 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Heuristic-based backtracking relaxation for propositional satisfiability ⋮ Local Restarts ⋮ Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
Uses Software
This page was built for publication:
