Proceedings of SAT Race 2019: Solver and Benchmark Descriptions

Marijn J.H. Heule (Redaktör), Matti Järvisalo (Redaktör), Martin Suda (Redaktör)

Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig

1 resultat

Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M.
Unknown funder
01/09/2014 → 31/08/2019
Projekt: Forskningsprojekt