Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity : Publications
|
[1] |
On Minimal Constraint Networks Georg Gottlob In Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming‚ CP 2011. Perugia‚ Italy. 2011. |
|
[2] |
Introducing LoCo‚ a Logic for Configuration Problems Markus Aschinger‚ Conrad Drescher and Georg Gottlob In Proceedings of the 2nd Workshop on Logics for Component Configuration‚ LoCoCo 2011. Perugia‚ Italy. 2011. |
|
[3] |
Tackling the Partner Units Configuration Problem Markus Aschinger‚ Conrad Drescher‚ Georg Gottlob‚ Peter Jeavons and Evgenij Thorstensen In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). Barcelona‚ Spain. 2011. |
|
[4] |
Structural Decomposition Methods‚ and What They are Good For Markus Aschinger‚ Conrad Drescher‚ Georg Gottlob‚ Peter Jeavons and Evgenij Thorstensen 2011. Invited Paper at STACS 2011 |
|
[5] |
Optimization Methods for the Partner Units Problem Markus Aschinger‚ Conrad Drescher‚ Gerhard Friedrich‚ Georg Gottlob‚ Peter Jeavons‚ Anna Ryabokon and Evgenij Thorstensen In Proceedings of the 8th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2011). Berlin‚ Germany. 2011. |
|
[6] |
Tackling the Partner Units Configuration Problem Markus Aschinger‚ Conrad Drescher‚ Gerhard Friedrich‚ Georg Gottlob‚ Peter Jeavons‚ Anna Ryabokon and Evgenij Thorstensen No. CS−RR−10−28. Computing Laboratory‚ University of Oxford. 2010. |
|
[7] |
Balanced Queries: Divide and Conquer Dmitri Akatov and Georg Gottlob In Proceedings of the 35th International Symposiums on Mathematical Foundations of Computer Science (MFCS 2010). Brno‚ Czech Republic. 2010. |
|
[8] |
Tractable Optimization Problems through Hypergraph−Based Structural Restrictions Georg Gottlob‚ Gianluigi Greco and Francesco Scarcello In Proceedings of the 36th International Colloquium on Automata‚ Languages and Programming. Rhodes‚ Greece. 2009. |