Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems

von Larrosa, Javier
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

Constraint optimization techniques for exact multi-objective optimization

von Rollon, Emma
Veröffentlicht in Multiobjective programming and goal programming (2009)

Choosing the Root of the Tree Decomposition When Solving WCSPs: Preliminary Results

von Petrova, Aleksandra
Veröffentlicht in Associació Catalana d'Intelligència Artificial (23. : 2021 : Online) Artificial intelligence research and development (2021)