Search results for: Federico Heras
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 41-55
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 139-152
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Doctoral Papers > 849-849
Constraints > 2013 > 18 > 4 > 478-534
Artificial Intelligence > 2008 > 172 > 2-3 > 204-233
Journal of Heuristics > 2006 > 12 > 4-5 > 287-306