„proof logging“

Suchergebnisse

7 Treffer

• Practically Feasible Proof Logging for Pseudo-Boolean Optimization
  Koops, Wietze ; Le Berre, Daniel ; Myreen, Magnus O. ; Nordström, Jakob ; Oertel, Andy ; Tan, Yong Kiam ; Vinyals, Marc 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
  Flippo, Maarten ; Sidorov, Konstantin ; Marijnissen, Imko ; Smits, Jeff ; Demirović, Emir 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
  Demirović, Emir ; McCreesh, Ciaran ; McIlree, Matthew J. ; Nordström, Jakob ; Oertel, Andy ; Sidorov, Konstantin 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
  Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob ; Oertel, Andy ; Paxian, Tobias ; Vandesande, Dieter 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proof Logging for Smart Extensional Constraints
  McIlree, Matthew J. ; McCreesh, Ciaran 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Certified CNF Translations for Pseudo-Boolean Solving
  Gocht, Stephan ; Martins, Ruben ; Nordström, Jakob ; Oertel, Andy 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Auditable Constraint Programming Solver
  Gocht, Stephan ; McCreesh, Ciaran ; Nordström, Jakob 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik