Follow
Stephan Gocht
Title
Cited by
Cited by
Year
Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling
M Soos, S Gocht, KS Meel
International Conference on Computer Aided Verification, 463-484, 2020
1002020
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks.
J Elffers, J Giráldez-Cru, S Gocht, J Nordström, L Simon
IJCAI 18, 1300-1308, 2018
432018
Certifying parity reasoning efficiently using pseudo-Boolean proofs
S Gocht, J Nordström
Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3768-3777, 2021
422021
Justifying all differences using pseudo-Boolean reasoning
J Elffers, S Gocht, C McCreesh
Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1486-1494, 2020
402020
Certifying solvers for clique and maximum common (connected) subgraph problems
S Gocht, R McBride, C McCreesh, J Nordström, P Prosser, J Trimble
International Conference on Principles and Practice of Constraint …, 2020
392020
Subgraph isomorphism meets cutting planes: Solving with certified solutions
S Gocht, C McCreesh, J Nordström
Proceedings of the Twenty-Ninth International Conference on International …, 2021
382021
Cutting to the core of pseudo-boolean optimization: Combining core-guided search with cutting planes reasoning
J Devriendt, S Gocht, E Demirović, J Nordström, PJ Stuckey
Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3750-3758, 2021
342021
In between resolution and cutting planes: A study of proof systems for pseudo-Boolean SAT solving
M Vinyals, J Elffers, J Giráldez-Cru, S Gocht, J Nordström
Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018
322018
Certified symmetry and dominance breaking for combinatorial optimisation
B Bogaerts, S Gocht, C McCreesh, J Nordström
Proceedings of the AAAI Conference on Artificial Intelligence 36 (4), 3698-3707, 2022
302022
Accelerating SAT Based Planning with Incremental SAT Solving
S Gocht, T Balyo
Proceedings of the Twenty-Seventh International Conference on Automated …, 2017
302017
Certified CNF translations for pseudo-Boolean solving
S Gocht, R Martins, J Nordström, A Oertel
25th International Conference on Theory and Applications of Satisfiability …, 2022
252022
An auditable constraint programming solver
S Gocht, C McCreesh, J Nordström
28th International Conference on Principles and Practice of Constraint …, 2022
252022
Certified dominance and symmetry breaking for combinatorial optimisation
B Bogaerts, S Gocht, C McCreesh, J Nordström
Journal of Artificial Intelligence Research 77, 1539–1589-1539–1589, 2023
172023
On Division Versus Saturation in Pseudo-Boolean Solving.
S Gocht, J Nordström, A Yehudayoff
IJCAI, 1711-1718, 2019
152019
Certifying correctness for combinatorial algorithms: by using pseudo-Boolean reasoning
S Gocht
102022
CryptoMiniSat with CCAnr at the SAT Competition 2020
M Soos, J Devriendt, S Gocht, A Shaw, KS Meel
SAT COMPETITION 2020, 27, 2020
92020
VeriPB: The easy way to make your combinatorial search algorithm trustworthy
S Gocht, C McCreesh, J Nordström
workshop From Constraint Programming to Trustworthy AI at the 26th …, 2020
72020
SemSlice: Exploiting Relational Verification for Automatic Program Slicing
B Beckert, T Bormer, S Gocht, M Herda, D Lentzsch, M Ulbrich
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
72017
End-to-end verification for subgraph solving
S Gocht, C McCreesh, MO Myreen, J Nordström, A Oertel, YK Tan
Proceedings of the AAAI Conference on Artificial Intelligence 38 (8), 8038-8047, 2024
62024
CryptoMiniSat with WalkSAT at the SAT Competition 2020
M Soos, B Selman, H Kautz, J Devriendt, S Gocht
SAT COMPETITION 2020, 29, 2020
52020
The system can't perform the operation now. Try again later.
Articles 1–20