Separating OR, SUM, and XOR Circuits

Magnus Find, Mika Göös, Matti Järvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen

Research output: Contribution to journal › Article › Scientific › peer-review

2 results

Finished

Notkeita eksponentiaalisia algoritmeja
Koivisto, M. (Project manager)
Unknown funder
01/09/2014 → 31/08/2018
Project: Research project
Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
Järvisalo, M. (Project manager)
Unknown funder
01/09/2014 → 31/08/2019
Project: Research project