scientific article
From MaRDI portal
Publication:3336732
zbMath0546.68074MaRDI QIDQ3336732
Publication date: 1984
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 (3)
An optimality result for clause form translation ⋮ Boolean unification - the story so far ⋮ Simplification in a satisfiability checker for VLSI applications
This page was built for publication:
