University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Markus Aschinger : Publications

By dateBy titleBy typeBibtex

[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.