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