Ole Lübke presents his paper "IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses" on 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
