Johannes Schmidt

Johannes Schmidt

Jönköping University - Jönköping / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 5147007
Högskolan i Jönköping
person_outline Johannes Schmidt's MOST POPULAR ARTICLES
1-) Paradigms for parameterized enumerationN Creignou, A Meier, JS Müller, J Schmidt, H VollmerTheory of Computing Systems 60, 737-758, 2017502017
2-) Enumeration: Algorithms and complexityJ SchmidtPreprint, available at https://www. thi. uni-hannover. de/fileadmin …, 2009262009
3-) Enumerating all solutions of a Boolean CSP by non-decreasing weightN Creignou, F Olive, J SchmidtTheory and Applications of Satisfiability Testing-SAT 2011: 14th …, 2011252011
4-) Complexity of propositional abduction for restricted sets of Boolean functionsN Creignou, J Schmidt, M ThomasTwelfth International Conference on the Principles of Knowledge …, 2010162010
5-) Complexity of logic-based argumentation in Post\'s frameworkN Creignou, J Schmidt, M Thomas, S WoltranArgument & Computation 2 (2-3), 107-129, 2011152011