Dotú, Iván

4 publications

AAAI 2025 Large-Scale School Mapping Using Weakly Supervised Deep Learning for Universal School Connectivity Isabelle Tingzon, Utku Can Ozturk, Iván Dotú

AAAI 2008 Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search Manuel Cebrián, Iván Dotú, Pascal Van Hentenryck, Peter Clote

AAAI 2004 Modeling Choices in Quasigroup Completion: SAT vs. CSP Carlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández, Felip Manyà

IJCAI 2003 Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem Iván Dotú, Alvaro del Val, Manuel Cebrián