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.
10.07.2024
15th Pragmatics of SAT international workshop
IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses