MaxSAT Evaluation 2020: Solver and Benchmark Descriptions

Show simple item record

dc.contributor.editor Bacchus, Fahiem
dc.contributor.editor Berg, Jeremias
dc.contributor.editor Järvisalo, Matti
dc.contributor.editor Martins, Rubens
dc.date.accessioned 2020-08-20T13:30:05Z
dc.date.issued 2020
dc.identifier.uri http://hdl.handle.net/10138/318451
dc.language.iso en fi
dc.publisher University of Helsinki, Department of Computer Science fi
dc.relation.ispartofseries Department of Computer Science Report Series B 2020-2 fi
dc.title MaxSAT Evaluation 2020: Solver and Benchmark Descriptions fi
dc.type Kirja fi

Files in this item

Total number of downloads: Loading...

Files Size Format View
mse20proc.pdf 1.580Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record