„proof logging“
Suchergebnisse
7 Treffer
-
Practically Feasible Proof Logging for Pseudo-Boolean Optimization
-
A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
-
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
-
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
-
Proof Logging for Smart Extensional Constraints
-
Certified CNF Translations for Pseudo-Boolean Solving
-
An Auditable Constraint Programming Solver