Publication:2786912
From MaRDI portal
zbMath1331.68199MaRDI QIDQ2786912
Hans Kleine Büning, Uwe Bubeck
Publication date: 23 February 2016
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Complexity of fixed-size bit-vector logics, On Q-Resolution and CDCL QBF Solving, Abstraction-Based Algorithm for 2QBF, Transformations into Normal Forms for Quantified Circuits