Structure-guided Local Improvement for Maximum Satisfiability

Schidler, André; Szeider, Stefan

by André Schidler, Stefan Szeider

Reference:

Structure-guided Local Improvement for Maximum SatisfiabilityAndré Schidler, Stefan SzeiderThe 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 (Paul Shaw, ed.), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bibtex Entry:

@string{lipics="LIPIcs"}
@InProceedings{SchidlerSzeider24a,
  author    = {Andr\'{e} Schidler and Stefan Szeider},
  title        = {Structure-guided Local Improvement for Maximum Satisfiability},
  booktitle = {The 30th International Conference on Principles and
                  Practice of Constraint Programming, CP 2024},
  year      = {2024},
  editor    = {Paul Shaw},
  series    = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  keywords  = {strides},
}