Stephan Gocht | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Bart Bogaerts
25 publications
Jakob Nordström
11 publications
Ciaran McCreesh
2 publications

research

∙ 09/25/2022

Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs

The dramatic improvements in combinatorial optimization algorithms over ...

0 Stephan Gocht, et al. ∙

research

∙ 03/23/2022

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Symmetry and dominance breaking can be crucial for solving hard combinat...

0 Bart Bogaerts, et al. ∙