Search results for: Marco Maratea
Constraints > 2018 > 23 > 4 > 383-402
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming > Research Track Short Papers > 603-607
Lecture Notes in Computer Science > AI*IA 2007: Artificial Intelligence and Human-Oriented Computing > Planning and Scheduling > 422-433
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Poster Papers > 842-846
Lecture Notes in Computer Science > AI*IA 2009: Emergent Perspectives in Artificial Intelligence > Search > 253-263
Lecture Notes in Computer Science > AI*IA 2011: Artificial Intelligence Around Man and Beyond > Poster Session > 420-425
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 16-29
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Technical Papers > 110-122
Lecture Notes in Computer Science > AI*IA 2005: Advances in Artificial Intelligence > Theoretical Research: Improvements and Consolidations > 122-134
Lecture Notes in Computer Science > Logics in Artificial Intelligence > System Descriptions > 365-368
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Descriptions > 346-350
Artificial Intelligence > 2016 > 231 > C > 151-181
52nd IEEE Conference on Decision and Control > 886 - 891
Journal of Computer and System Sciences > 2012 > 78 > 1 > 119-141
Constraints > 2010 > 15 > 4 > 485-515
Journal of Algorithms > 2008 > 63 > 1-3 > 70-89
Annals of Mathematics and Artificial Intelligence > 2008 > 53 > 1-4 > 169-204