16 citations · 16 across the 4 of their papers we have counts for
Showing 2003 · cs.LOShow all
2 papers · 2 filters
cs.LO2003
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…
cs.LO2003
Logic programs with monotone cardinality atoms
Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX, where k is a non-negative integer and X is a finite set of pro…