Emma Rollon | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Rina Dechter
28 publications
Bozhena Bidyuk
4 publications
Javier Larrosa
1 publication

research

∙ 03/05/2020

Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems

MaxSAT is a very popular language for discrete optimization with many do...

0 Javier Larrosa, et al. ∙

research

∙ 01/16/2014

Active Tuples-based Scheme for Bounding Posterior Beliefs

The paper presents a scheme for computing lower and upper bounds on the ...

0 Bozhena Bidyuk, et al. ∙