scientific article
From MaRDI portal
Publication:2786912
zbMath1331.68199MaRDI QIDQ2786912
Hans Kleine Büning, Uwe Bubeck
Publication date: 23 February 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Abstraction-Based Algorithm for 2QBF ⋮ Transformations into Normal Forms for Quantified Circuits ⋮ Complexity of fixed-size bit-vector logics ⋮ On Q-Resolution and CDCL QBF Solving
This page was built for publication:
