Not registered as user yet

Name:Bernd Becker
Country:Germany
Affiliation:Albert-Ludwigs-University Freiburg

Contributions

VMCAI 2021 Author of On Pre- and Inprocessing for Weighted MaxSAT within the VMCAI-track