Markus Aschinger : Publications

Click here to download all publications in a single bibtex file

@article{DBLP:journals/tocl/AschingerDGV14,
  title = "LoCo - {A} Logic for Configuration Problems",
  author = "Markus Aschinger and Conrad Drescher and Georg Gottlob and Heribert Vollmer",
  year = "2014",
  journal = "{ACM} Trans. Comput. Log.",
  number = "3",
  pages = "20:1--20:25",
  url = "http://doi.acm.org/10.1145/2629454",
  volume = "15",
  doi = "10.1145/2629454",
}

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

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