Solution Validation and Extraction for QBF Preprocessing

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 05, 2016
Source ID
10.1007/s10817-016-9390-4

Entities

People

  • Armin Biere
  • Marijn J. H. Heule
  • Martina Seidl

Organizations

  • Air Force Research Laboratory
  • Austrian Science Fund
  • Division of Computing and Communication Foundations
  • Vienna Science and Technology Fund