Improving Implementation of SAT Competitions 2017-2019 Winners

von Kochemazov, Stepan
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

Exploring the Limits of Problem-Specific Adaptations of SAT Solvers in SAT-Based Cryptanalysis

von Kochemazov, Stepan
Veröffentlicht in PCT (15. : 2021 : Online) Parallel computational technologies (2021)

Improving Effectiveness of Neighborhood-Based Algorithms for Optimization of Costly Pseudo-Boolean Black-Box Functions

von Zaikin, Oleg
Veröffentlicht in MOTOR (19. : 2020 : Online) Mathematical optimization theory and operations research (2020)

Using Parallel SAT Solving to Study Hard Combinatorial Problems Associated with Boolean Circuits

von Kondratiev, Victor
Veröffentlicht in PCT (17. : 2023 : Sankt Petersburg) Parallel computational technologies (2023)

Assessing Progress in SAT Solvers Through the Lens of Incremental SAT

von Kochemazov, Stepan
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

Speeding Up CDCL Inference with Duplicate Learnt Clauses

von Kochemazov, Stepan
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)