Konstantin Korovin | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Josef Urban
3 publications
Tom Heskes
2 publications
Franz Brauße
1 publication
Norbert Th. Müller
1 publication
Margarita V. Korovina
1 publication
Miroslav Olšák
1 publication
Jelle Piepenbrock
1 publication
Mikoláš Janota
1 publication

research

∙ 10/07/2022

Machine Learning Meets The Herbrand Universe

The appearance of strong CDCL-based propositional (SAT) solvers has grea...

0 Jelle Piepenbrock, et al. ∙

research

∙ 04/27/2021

The ksmt calculus is a δ-complete decision procedure for non-linear constraints

ksmt is a CDCL-style calculus for solving non-linear constraints over re...

0 Franz Brauße, et al. ∙

Success!

An error occurred