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