Stephan Gocht
Lunds Universitet
H-index: 13
Europe-Sweden
Top articles of Stephan Gocht
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
End-to-End Verification for Subgraph Solving | Stephan Gocht Ciaran McCreesh Magnus O Myreen Jakob Nordström Andy Oertel | 2024 | |
Certified dominance and symmetry breaking for combinatorial optimisation | Journal of Artificial Intelligence Research | Bart Bogaerts Stephan Gocht Ciaran McCreesh Jakob Nordström | 2023/8/14 |
Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning | Stephan Gocht | 2022/5/13 | |
Certified CNF translations for pseudo-Boolean solving | Stephan Gocht Ruben Martins Jakob Nordström Andy Oertel | 2022 | |
An auditable constraint programming solver | Stephan Gocht Ciaran McCreesh Jakob Nordström | 2022 | |
Certified symmetry and dominance breaking for combinatorial optimisation | Proceedings of the AAAI Conference on Artificial Intelligence | Bart Bogaerts Stephan Gocht Ciaran McCreesh Jakob Nordström | 2022/6/28 |
Certifying parity reasoning efficiently using pseudo-Boolean proofs | Proceedings of the AAAI Conference on Artificial Intelligence | Stephan Gocht Jakob Nordström | 2021/5/18 |
Subgraph isomorphism meets cutting planes: Solving with certified solutions | Stephan Gocht Ciaran McCreesh Jakob Nordström | 2021/1/7 | |
Certifying CNF Encodings of Pseudo-Boolean Constraints | Stephan Gocht Jakob Nordström Ruben Martins | 2021/7 | |
Cutting to the core of pseudo-boolean optimization: Combining core-guided search with cutting planes reasoning | Proceedings of the AAAI Conference on Artificial Intelligence | Jo Devriendt Stephan Gocht Emir Demirović Jakob Nordström Peter J Stuckey | 2021/5/18 |
Justifying all differences using pseudo-Boolean reasoning | Proceedings of the AAAI Conference on Artificial Intelligence | Jan Elffers Stephan Gocht Ciaran McCreesh | 2020/4/3 |
CryptoMiniSat with CCAnr at the SAT Competition 2020 | SAT COMPETITION | Mate Soos Jo Devriendt Stephan Gocht Arijit Shaw Kuldeep S Meel | 2020 |
CryptoMiniSat with WalkSAT at the SAT Competition 2020 | SAT COMPETITION 2020 | Mate Soos Bart Selman Henry Kautz Jo Devriendt Stephan Gocht | 2020 |
Certifying solvers for clique and maximum common (connected) subgraph problems | Stephan Gocht Ross McBride Ciaran McCreesh Jakob Nordström Patrick Prosser | 2020/9/2 | |
VeriPB: The easy way to make your combinatorial search algorithm trustworthy | workshop From Constraint Programming to Trustworthy AI at the 26th International Conference on Principles and Practice of Constraint Programming (CP’20). Paper available at http://www. cs. ucc. ie/bg6/cptai/2020/papers/CPTAI_2020_paper_2. pdf | Stephan Gocht Ciaran McCreesh Jakob Nordström | 2020/9 |
Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling | Mate Soos Stephan Gocht Kuldeep S Meel | 2020/7/14 |