Stephan Gocht (Former)

1 – 10 of 11

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/person/st4803go?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
2
next »

2024
Mark End-to-End Verification for Subgraph Solving
Gocht, Stephan ^LU ; McCreesh, Ciaran ; Myreen, Magnus O. ; Nordström, Jakob ^LU ; Oertel, Andy ^LU and Tan, Yong Kiam (2024) 38th AAAI Conference on Artificial Intelligence, AAAI 2024 In Proceedings of the AAAI Conference on Artificial Intelligence 38. p.8038-8047
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2023
Mark Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
Bogaerts, Bart ; Gocht, Stephan ^LU ; McCreesh, Ciaran and Nordström, Jakob ^LU (2023) In Journal of Artificial Intelligence Research 77. p.1539-1589
- Contribution to journal › Article
Mark Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
Gocht, Stephan ^LU ; Martins, Ruben ; Nordström, Jakob ^LU and Oertel, Andy ^LU (2023) 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023 p.6436-6441
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2022
Mark Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
Gocht, Stephan ^LU (2022)
- Thesis › Doctoral thesis (compilation)
Mark An Auditable Constraint Programming Solver
Gocht, Stephan ^LU ; McCreesh, Ciaran and Nordström, Jakob ^LU (2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certified CNF Translations for Pseudo-Boolean Solving
Gocht, Stephan ^LU ; Martins, Ruben ; Nordström, Jakob ^LU and Oertel, Andy ^LU (2022) 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) In Leibniz International Proceedings in Informatics (LIPIcs) 236.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2020
Mark Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
Gocht, Stephan ^LU ; McBride, Ross ; McCreesh, Ciaran ; Nordström, Jakob ^LU ; Prosser, Patrick and Trimble, James (2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.338-357
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
Soos, Mate ; Gocht, Stephan ^LU and Meel, Kuldeep S. (2020) 32nd International Conference on Computer Aided Verification, CAV 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12224 LNCS. p.463-484
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2019
Mark On division versus saturation in pseudo-boolean solving
Gocht, Stephan ^LU ; Nordström, Jakob ^LU and Yehudayoff, Amir (2019) 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 In IJCAI International Joint Conference on Artificial Intelligence 2019-August. p.1711-1718
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2018
Mark Seeking practical CDCL insights from theoretical SAT benchmarks
Elffers, Jan ^LU ; Cru, Jesús Giráldez ; Gocht, Stephan ^LU ; Nordström, Jakob ^LU and Simon, Laurent (2018) 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 In IJCAI International Joint Conference on Artificial Intelligence 2018-July. p.1300-1308
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
2
next »