scientific article
From MaRDI portal
Publication:2766536
zbMath0988.68600MaRDI QIDQ2766536
Sanjiva Prasad, Kumar Neeraj Verma, Jean Goubault-Larrecq, S. Arun-Kumar
Publication date: 8 July 2002
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 (5)
Extracting a DPLL Algorithm ⋮ Formalizing the Logic-Automaton Connection ⋮ Unnamed Item ⋮ LCF-Style Propositional Simplification with BDDs and SAT Solvers ⋮ Implementing and reasoning about hash-consed data structures in Coq
Uses Software
This page was built for publication:
