2 citations · 2 across the 5 of their papers we have counts for
15 papers
Satisfiability and computing van der Waerden numbers
Michael R. Dransfield, Victor W. Marek, Miroslaw Truszczynski
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive…
WSAT(cc) - a fast local-search ASP solver
Lengning Liu, Miroslaw Truszczynski
We describe WSAT(cc), a local-search solver for computing models of theories in the language of propositional logic extended by cardinality atoms. WSAT(cc) is a processing back-end…
Local-search techniques for propositional logic extended with cardinality constraints
Lengning Liu, Miroslaw Truszczynski
We study local-search satisfiability solvers for propositional logic extended with cardinality atoms, that is, expressions that provide explicit ways to model constraints on cardin…
Propositional satisfiability in declarative programming
Deborah East, Miroslaw Truszczynski
Answer-set programming (ASP) paradigm is a way of using logic to solve search problems. Given a search problem, to solve it one designs a theory in the logic so that models of this…
Computing stable models: worst-case performance estimates
Zbigniew Lonc, Miroslaw Truszczynski
We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than the trivial…
Fixed-parameter complexity of semantics for logic programs
Zbigniew Lonc, Miroslaw Truszczynski
A decision problem is called parameterized if its input is a pair of strings. One of these strings is referred to as a parameter. The problem: given a propositional logic program P…