Miquel Bofill | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Peter Nightingale
11 publications
Elvira Albert
10 publications
Albert Rubio
9 publications
Felix Ulrich-Oltean
3 publications
Mateu Villaret
3 publications
Javier Murillo
2 publications
Cristina Borralleras
2 publications
Enrique Martin-Martin
2 publications
Jordi Coll
2 publications
Víctor Muñoz
1 publication
Josep Suy
1 publication

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. ∙

research

∙ 07/23/2019

Resource Analysis driven by (Conditional) Termination Proofs

When programs feature a complex control flow, existing techniques for re...

0 Elvira Albert, et al. ∙

research

∙ 09/17/2016

Solving the Wastewater Treatment Plant Problem with SMT

In this paper we introduce the Wastewater Treatment Plant Problem, a rea...

0 Miquel Bofill, et al. ∙