Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity: Publications

Click here to download all publications in a single bibtex file

@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",
}

@article{ggaij,
  title = "On Minimal Constraint Networks",
  author = "Georg Gottlob",
  year = "2012",
  journal = "Artificial Intelligence",
  note = "Submitted Preprint",
}

@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",
}

@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",
}

@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)",
}

@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",
}

@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{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)",
}

@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{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",
}