3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.LO2025
RustSAT: A Library For SAT Solving in Rust
Christoph Jabs
State-of-the-art Boolean satisfiability (SAT) solvers constitute a practical and competitive approach for solving various real-world problems. To encourage their widespread adoptio…
cs.AI2025★ 1 cited
Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
Christoph Jabs, Jeremias Berg, Bart Bogaerts +1
Due to the wide employment of automated reasoning in the analysis and construction of correct systems, the results reported by automated reasoning engines must be trustworthy. For…
cs.DB2024★ 3 cited
Global Benchmark Database
Ashlin Iser, Christoph Jabs
This paper presents Global Benchmark Database (GBD), a comprehensive suite of tools for provisioning and sustainably maintaining benchmark instances and their metadata. The availab…