Markus Aschinger : Publications
|
[1] |
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. |
|
[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] |
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. |
|
[5] |
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 |
|
[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. |