Publications

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

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

  • Manuel Bodirsky and 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 and Johannes Greiner. Complexity of Combinations of Qualitative Constraint Satisfaction Problems. In: 9th International Joint Conference on Automated Reasoning (IJCAR), Proceedings. Ed. by Didier Galmiche, Stephan Schulz and 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

About this page

Johannes Greiner
Last modified: Jun 25, 2021