15614 search results - page 293 / 3123 » The State of State |
179
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
150
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper addresses a novel coordination problem for distributed agents in a discrete-event setting. We introduce and study a predicate coordination problem as the problem of dist...
165
Voted
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
