15th Pragmatics of SAT international workshop

IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses

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.

 

Institute for Software Systems

 

STS is an Institute of  Hamburg University of Technology and the
School of Electrical Engineering, Computer Science and Mathematics

Under the slogan "Software, Technology and Systems (STS)", 
the institute combines fundamental research on descriptions and
dependencies of software systems with practical issues and applications
from both engineering and social sciences.