Till innehållet
English
Sök
Sök på liu.se
Meny
Utbildning
Forskning
Samverkan
Hem
Om LiU
Aktuellt
Jobba på LiU
Kontakt
Start
Johannes Klaus Fichte
Johannes Klaus Fichte
Universitetslektor
Publikationer
2023
Johannes Klaus Fichte, Markus Hecher, Mahmood Yasir, Arne Meier (2023)
Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23), s. 3212-3220
Vidare till DOI
Johannes K. Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak (2023)
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF
2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS
Vidare till DOI
Johannes Klaus Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider (2023)
The Silent (R)evolution of SAT
Communications of the ACM, Vol. 66, s. 64-72
Vidare till DOI
Taggar
Teoretisk datalogi (TCSLAB)
Artificiell intelligens och integrerade datorsystem (AIICS)
Institutionen för datavetenskap (IDA)
Linköpings universitet (LIU)
Medarbetare
Johannes Klaus Fichte (johfi52)
Universitetslektor
Dela på
Facebook
Twitter
LinkedIn
Email