Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting

Project Details

StatusFinished
Effective start/end date01/09/201431/08/2019

Funding

  • Unknown funder