2 citations · 4 across the 11 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Johannes K. Fichte, Sarah Alice Gaggl, Markus Hecher +1
Answer set programming (ASP) is a popular declarative programming paradigm with various applications. Programs can easily have many answer sets that cannot be enumerated in practic…
cs.AI2022
Advanced Tools and Methods for Treewidth-Based Problem Solving -- Extended Abstract
Markus Hecher
Computer programs, so-called solvers, for solving the well-known Boolean satisfiability problem (Sat) have been improving for decades. Among the reasons, why these solvers are so f…