Research output per year
Research output per year
Fingerprint
Dive into the research topics where Stephan Gocht is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
An Auditable Constraint Programming Solver
Gocht, S., McCreesh, C. & Nordström, J., 2022, 28th International Conference on Principles and Practice of Constraint Programming, CP 2022. Solnon, C. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 25. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Open Access -
Certified CNF Translations for Pseudo-Boolean Solving
Gocht, S., Martins, R., Nordström, J. & Oertel, A., 2022 Jul 28, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Meel, K. S. & Strichman, O. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 25 p. 16. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 236).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Open Access -
Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning
Gocht, S., 2022 May 13, Department of Computer Science, Lund University. 228 p.Research output: Thesis › Doctoral Thesis (compilation)
File74 Downloads (Pure) -
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
Gocht, S., McBride, R., McCreesh, C., Nordström, J., Prosser, P. & Trimble, J., 2020, Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Proceedings. Simonis, H. (ed.). Springer, p. 338-357 20 p. (Lecture Notes in Computer Science; vol. 12333).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
-
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
Soos, M., Gocht, S. & Meel, K. S., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer Gabler, p. 463-484 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Open Access
Prizes and Distinction
-
Best paper award at the 25th International Conference on Theory and Applications of Satisfiability Testing
Gocht, Stephan (Recipient), Martins, R. (Recipient), Nordström, Jakob (Recipient) & Oertel, Andy (Recipient), 2022
Prize: Prize (including medals and awards)
-
Distinguished paper award at the 36th AAAI Conference on Artificial Intelligence
Nordström, Jakob (Recipient), Gocht, Stephan (Recipient), Bogaerts, B. (Recipient) & McCreesh, C. (Recipient), 2022
Prize: Prize (including medals and awards)