Declarative Boolean Optimization: Pushing the Envelope

Järvisalo, Matti (Principal Investigator)

Projekt: Forskningsprojekt

29 Konferensbidrag
4 Artikel
2 Kapitel
1 Antologi eller special utgåva

1 resultat

Filter

2023

MaxSAT Evaluation 2023: Solver and Benchmark Descriptions
Berg, J. (Redaktör), Järvisalo, M. (Redaktör), Martins, R. (Redaktör) & Niskanen, A. (Redaktör), 2023, Helsinki: Department of Computer Science, University of Helsinki. 41 s. (Department of Computer Science Series of Publications B; vol. B-2023-2)
Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig

Öppen tillgång
Fil