@inproceedings{DrescherICTAI12, title = "The Partner Units Problem - A Constraint Programming Case Study", author = "Conrad Drescher", year = "2012", booktitle = "Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'12", location = "Athens, Greece", } @article{GLVVjacm2012, title = "Size and Treewidth Bounds for Conjunctive Queries", author = "Georg Gottlob and Stephanie Tien Lee and Gregory Valiant and Paul Valiant", year = "2012", journal = "Journal of the ACM", note = "Accepted for publication", } @inproceedings{confws12, title = "Unifying Software and Product Configuration: A Research Roadmap", author = "Arnaud Hubaux and Dietmar Jannach and Conrad Drescher and Leonardo Murta and Tomi Mannisto and Krzysztof Czarnecki and Patrick Heymans and Tien Nguyen and Markus Zanker", year = "2012", booktitle = "Proceedings of the ECAI 2012 Workshop on Configuration", location = "Montpellier, France", } @inproceedings{locoecai, title = "LoCo --- A Logic for Configuration Problems", author = "Markus Aschinger and Conrad Drescher and Heribert Vollmer", year = "2012", booktitle = "Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012", location = "Montpellier, France", } @inproceedings{vcsat, title = "Parameterized Complexity of Weighted Satisfiability Problems", author = "Nadia Creignou and Heribert Vollmer", year = "2012", booktitle = "Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012", location = "Trento, Italy", } @article{ggaij, title = "On Minimal Constraint Networks", author = "Georg Gottlob", year = "2012", journal = "Artificial Intelligence", note = "Submitted Preprint", } @inproceedings{ggcp11, title = "On Minimal Constraint Networks", author = "Georg Gottlob", year = "2011", address = "Perugia, Italy", booktitle = "Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011", } @inproceedings{LoCoCo11, title = "Introducing LoCo, a Logic for Configuration Problems", author = "Markus Aschinger and Conrad Drescher and Georg Gottlob", year = "2011", address = "Perugia, Italy", booktitle = "Proceedings of the 2nd Workshop on Logics for Component Configuration, LoCoCo 2011", } @inproceedings{PUPIJCAI2011, title = "Tackling the Partner Units Configuration Problem", author = "Markus Aschinger and Conrad Drescher and Georg Gottlob and Peter Jeavons and Evgenij Thorstensen", year = "2011", address = "Barcelona, Spain", booktitle = "Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)", } @misc{SDSTACS11, title = "Structural Decomposition Methods, and What They are Good For", author = "Markus Aschinger and Conrad Drescher and Georg Gottlob and Peter Jeavons and Evgenij Thorstensen", year = "2011", address = "Dortmund, Germany", booktitle = "Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011)", note = "Invited Paper at STACS 2011", } @inproceedings{PUPCPAIOR2011, title = "Optimization Methods for the Partner Units Problem", author = "Markus Aschinger and Conrad Drescher and Gerhard Friedrich and Georg Gottlob and Peter Jeavons and Anna Ryabokon and Evgenij Thorstensen", year = "2011", address = "Berlin, Germany", booktitle = "Proceedings of the 8th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2011)", series = "Lecture Notes in Computer Science", } @techreport{PUPTechRep10, title = "Tackling the Partner Units Configuration Problem", author = "Markus Aschinger and Conrad Drescher and Gerhard Friedrich and Georg Gottlob and Peter Jeavons and Anna Ryabokon and Evgenij Thorstensen", year = "2010", institution = "Computing Laboratory, University of Oxford", number = "CS-RR-10-28", } @inproceedings{DCMFCS10, title = "Balanced Queries: Divide and Conquer", author = "Dmitri Akatov and Georg Gottlob", year = "2010", address = "Brno, Czech Republic", booktitle = "Proceedings of the 35th International Symposiums on Mathematical Foundations of Computer Science (MFCS 2010)", } @inproceedings{OPICALP09, title = "Tractable Optimization Problems through Hypergraph-Based Structural Restrictions", author = "Georg Gottlob and Gianluigi Greco and Francesco Scarcello", year = "2009", address = "Rhodes, Greece", booktitle = "Proceedings of the 36th International Colloquium on Automata, Languages and Programming", }