MaxSAT-Based Bi-Objective Boolean Optimization

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationProceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Publication statusAccepted/In press - 2022
MoE publication typeA4 Article in conference proceedings

Fields of Science

  • 113 Computer and information sciences

Cite this