Incremental Maximum Satisfiability

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

Original languageEnglish
Title of host publication25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel
EditorsKuldeep Meel, Ofer Strichman
Number of pages19
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Publication date2022
Pages14:1-14:19
ISBN (Electronic)978-3-95977-242-6
DOIs
Publication statusPublished - 2022
MoE publication typeA4 Article in conference proceedings
EventInternational Conference on Theory and Applications of Satisfiability Testing - Haifa, Israel
Duration: 2 Aug 20225 Aug 2022
Conference number: 25

Publication series

NameLIPIcs
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Volume236

Fields of Science

  • 113 Computer and information sciences

Cite this