research
∙
03/02/2023
Complexity of Reasoning with Cardinality Minimality Conditions
Many AI-related reasoning problems are based on the problem of satisfiab...
share
research
∙
05/01/2022
Enumeration Classes Defined by Circuits
We refine the complexity landscape for enumeration problems by introduci...
research
∙
11/21/2017
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Many reasoning problems are based on the problem of satisfiability (SAT)...
research
∙
04/25/2014
Belief merging within fragments of propositional logic
Recently, belief change within the framework of fragments of proposition...
research
∙
12/16/2009