3 citations · 3 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2017
Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems
David E. Narváez
In the context of SAT solvers, Shatter is a popular tool for symmetry breaking on CNF formulas. Nevertheless, little has been said about its use in the context of AllSAT problems:…
cs.AI2016
The Opacity of Backbones
Lane A. Hemaspaandra, David E. Narváez
This paper approaches, using structural complexity theory, the question of whether there is a chasm between knowing an object exists and getting one's hands on the object or its pr…