MaxSAT Evaluation 2020: Solver and Benchmark Descriptions

Näytä kaikki kuvailutiedot



Pysyväisosoite

http://hdl.handle.net/10138/318451
Julkaisun nimi: MaxSAT Evaluation 2020: Solver and Benchmark Descriptions
Toimittaja(t): Bacchus, Fahiem; Berg, Jeremias; Järvisalo, Matti; Martins, Rubens
Julkaisija: University of Helsinki, Department of Computer Science
Päiväys: 2020
Kieli: en
Kuuluu julkaisusarjaan: Department of Computer Science Report Series B 2020-2
URI: http://hdl.handle.net/10138/318451


Tiedostot

Latausmäärä yhteensä: Ladataan...

Tiedosto(t) Koko Formaatti Näytä
mse20proc.pdf 1.580MB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot