Felix Ulrich-Oltean | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ian Miguel
18 publications
Özgür Akgün
13 publications
Peter Nightingale
11 publications
James Alfred Walker
10 publications
Ian P. Gent
9 publications
Zeynep Kiziltan
9 publications
András Z. Salamon
6 publications
Christopher Jefferson
5 publications
Miquel Bofill
3 publications
Mateu Villaret
3 publications
Jordi Coll
2 publications

research

∙ 07/18/2023

Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

Many constraint satisfaction and optimisation problems can be solved eff...

0 Felix Ulrich-Oltean, et al. ∙

research

∙ 02/26/2022

Automatic Tabulation in Constraint Models

The performance of a constraint model can often be improved by convertin...

0 Özgür Akgün, et al. ∙

research

∙ 10/15/2021

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints

When solving a combinatorial problem using propositional satisfiability ...

0 Miquel Bofill, et al. ∙