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
Research output
- 5 Paper in conference proceeding
-
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 › Research › peer-review
3 Citations (SciVal) -
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 Access10 Citations (SciVal) -
On division versus saturation in pseudo-boolean solving
Gocht, S., Nordström, J. & Yehudayoff, A., 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 1711-1718 8 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2019-August).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
7 Citations (SciVal) -
In between resolution and cutting planes: A study of proof systems for pseudo-boolean SAT solving
Vinyals, M., Elffers, J., Giráldez-Cru, J., Gocht, S. & Nordström, J., 2018, Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Beyersdorff, O. & Wintersteiger, C. M. (eds.). Springer, p. 292-310 19 p. (Lecture Notes in Computer Science; vol. 10929).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › Research › peer-review
13 Citations (SciVal) -
Seeking practical CDCL insights from theoretical SAT benchmarks
Elffers, J., Cru, J. G., Gocht, S., Nordström, J. & Simon, L., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1300-1308 9 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
13 Citations (SciVal)