Showing cs.CCShow all
2 papers · 1 filter
cs.CC2026
Representative Sets in Propositional Abduction
Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist +1
The propositional abduction problem is a well-known form of non-monotonic reasoning where we are asked to find an explanation of a given manifestation. Recently, there has been an…
cs.CC2025
A Fine-Grained Complexity View on Propositional Abduction -- Algorithms and Lower Bounds
Victor Lagerkvist, Mohamed Maizia, Johannes Schmidt
The Boolean satisfiability problem (SAT) is a well-known example of monotonic reasoning, of intense practical interest due to fast solvers, complemented by rigorous fine-grained co…