Fernández, Cèsar

7 publications

AAAI 2012 The Automated Vacuum Waste Collection Optimization Problem Ramón Béjar, Cèsar Fernández, Carles Mateu, Felip Manyà, Francina Sole-Mauri, David Vidal
AAAI 2008 Generating Hard SAT/CSP Instances Using Expander Graphs Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
AAAI 2007 On Balanced CSPs with High Treewidth Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
AAAI 2006 The Impact of Balancing on Problem Hardness in a Highly Structured Domain Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carla P. Gomes, Carles Mateu
IJCAI 2005 Streamlining Local Search for Spatially Balanced Latin Squares Casey Smith, Carla P. Gomes, Cèsar Fernández
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 Grid-Based SensorDCSP Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls