In this paper, we introduce a novel algorithm to solve projected model
c...
The QSAT problem, which asks to evaluate a quantified Boolean formula (Q...
Cognitive theories for reasoning are about understanding how humans come...
Answer set programming (ASP) is a popular declarative programming paradi...
Many computational problems in modern society account to probabilistic
r...
The Steiner tree problem is a well-known problem in network design, rout...
We compare the impact of hardware advancement and algorithm advancement ...
Various state-of-the-art automated reasoning (AR) tools are widely used ...
Bounded treewidth is one of the most cited combinatorial invariants, whi...
Answer Set Programming (ASP) solvers are highly-tuned and complex proced...
In this paper, we introduce novel algorithms to solve projected answer s...
In this paper, we consider counting and projected model counting of
exte...
In this paper, we introduce a novel algorithm to solve projected model
c...
In this paper, we study Reiter's propositional default logic when the
tr...
A vibrant theoretical research area are efficient exact parameterized
al...
In this paper, we introduce a notion of backdoors to Reiter's propositio...