Ilias Kotsireas | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Curtis Bright
2 publications
Dragomir Ž. Đoković
1 publication
Jürgen Gerhard
1 publication

research

∙ 07/11/2019

The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices

In this paper, we provide an overview of the SAT+CAS method that combine...

0 Curtis Bright, et al. ∙

research

∙ 06/14/2019

Effective problem solving using SAT solvers

In this article we demonstrate how to solve a variety of problems and pu...

0 Curtis Bright, et al. ∙

Success!

An error occurred