scientific article
From MaRDI portal
Publication:3408146
zbMath1273.68319MaRDI QIDQ3408146
Martin Fränzle, Christian Herde
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
satisfiabilityproof searchacceleration techniquesnon-clausal propositional logiczero-one linear constraint systems
Related Items
HySAT: An efficient proof engine for bounded model checking of hybrid systems ⋮ Lifted structural invariant analysis of Petri net product lines
Uses Software
