Publikationen

Manuel Bodirsky, Johannes Greiner und Jakub Rydval. Tractable Combinations of Temporal CSPs. 2020. arXiv:2012.05682

Manuel Bodirsky und Johannes Greiner. Tractable Combinations of Theories via Sampling. In: 17th European Conference on Logics in Artificial Intelligence (JELIA), Proceedings. Ed. von Wolfgang Faber, Gerhard Friedrich, Martin Gebser und Michael Morak. Lecture Notes in Computer Science, Vol. 12678. Springer International Publishing, 2021, pp. 133–146. Preprint arXiv:2012.01199

Manuel Bodirsky und Johannes Greiner. The Complexity of Combinations of Qualitative Constraint Satisfaction Problems. In: Logical Methods in Computer Science (LMCS) (2019). Preprint arXiv:1801.05965.

Manuel Bodirsky und Johannes Greiner. Complexity of Combinations of Qualitative Constraint Satisfaction Problems. In: 9th International Joint Conference on Automated Reasoning (IJCAR), Proceedings. Ed. von Didier Galmiche, Stephan Schulz und Roberto Sebastiani. Vol. 10900. Lecture Notes in Computer Science. Springer International Publishing, 2018, pp. 263–278.

Johannes Greiner. Generating Clones with Conservative Near-Unanimity Operation. Journal of Multiple-Valued Logic and Soft Computing. 26(3-5): 515-524 (2016). Preprint arxiv.org:1503.07986