GAUSSIAN ELIMINATION MEETS MAXIMUM SATISFIABILITY

von Soos, Mate
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling

von Soos, Mate
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving

von Prevot, Nicolas
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)