The paper "IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses" by Ole Lübke has been accepted for the 15th Pragmatics of SAT international workshop at the 27th International Conference on Theory and Applications of Satisfiability Testing from 21st to 24th August 2024 in Pune, India.
15th Pragmatics of SAT international workshop
