Mateu Villaret | DeepAI

DeepAI

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

Featured Co-authors

Ian Miguel
18 publications
Peter Nightingale
11 publications
Manfred Schmidt-Schauß
7 publications
Jordi Levy
6 publications
Temur Kutsia
5 publications
Joan Espasa
4 publications
Miquel Bofill
3 publications
Felix Ulrich-Oltean
3 publications
Jordi Coll
2 publications
Josep Suy
1 publication
Yunus Kutz
1 publication

research

∙ 10/27/2021

A Preliminary Case Study of Planning With Complex Transitions: Plotting

Plotting is a tile-matching puzzle video game published by Taito in 1989...

0 Jordi Coll, 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. ∙

research

∙ 02/16/2021

Nominal Unification and Matching of Higher Order Expressions with Recursive Let

A sound and complete algorithm for nominal unification of higher-order e...

0 Manfred Schmidt-Schauß, et al. ∙