Markus Aschinger : Publications
-
[1]
LoCo − A Logic for Configuration Problems
Markus Aschinger‚ Conrad Drescher‚ Georg Gottlob and Heribert Vollmer
In ACM Trans. Comput. Log.. Vol. 15. No. 3. Pages 20:1–20:25. 2014.
Details about LoCo − A Logic for Configuration Problems | BibTeX data for LoCo − A Logic for Configuration Problems | DOI (10.1145/2629454) | Link to LoCo − A Logic for Configuration Problems
-
[2]
LoCo — A Logic for Configuration Problems
Markus Aschinger‚ Conrad Drescher and Heribert Vollmer
In Proceedings of the 20th European Conference on Artificial Intelligence‚ ECAI 2012. 2012.
Details about LoCo — A Logic for Configuration Problems | BibTeX data for LoCo — A Logic for Configuration Problems | Download (pdf) of LoCo — A Logic for Configuration Problems
-
[3]
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.
Details about Introducing LoCo‚ a Logic for Configuration Problems | BibTeX data for Introducing LoCo‚ a Logic for Configuration Problems | Download (pdf) of Introducing LoCo‚ a Logic for Configuration Problems
-
[4]
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.
Details about Tackling the Partner Units Configuration Problem | BibTeX data for Tackling the Partner Units Configuration Problem | Download (pdf) of Tackling the Partner Units Configuration Problem
-
[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.
Details about Optimization Methods for the Partner Units Problem | BibTeX data for Optimization Methods for the Partner Units Problem | Download (pdf) of Optimization Methods for the Partner Units Problem
-
[6]
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
Details about Structural Decomposition Methods‚ and What They are Good For | BibTeX data for Structural Decomposition Methods‚ and What They are Good For | Download (pdf) of Structural Decomposition Methods‚ and What They are Good For
-
[7]
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.
Details about Tackling the Partner Units Configuration Problem | BibTeX data for Tackling the Partner Units Configuration Problem | Download (pdf) of Tackling the Partner Units Configuration Problem