MaxSAT Evaluation 2020: Solver and Benchmark Descriptions

Visa fullständig post



Permalänk

http://hdl.handle.net/10138/318451
Titel: MaxSAT Evaluation 2020: Solver and Benchmark Descriptions
Editor: Bacchus, Fahiem; Berg, Jeremias; Järvisalo, Matti; Martins, Rubens
Utgivare: University of Helsinki, Department of Computer Science
Datum: 2020
Språk: en
Tillhör serie: Department of Computer Science Report Series B 2020-2
Permanenta länken (URI): http://hdl.handle.net/10138/318451


Filer under denna titel

Totalt antal nerladdningar: Laddar...

Filer Storlek Format Granska
mse20proc.pdf 1.580Mb PDF Granska/Öppna

Detta dokument registreras i samling:

Visa fullständig post