600
click to vote
SBACPAD
2015
IEEE
9 years 11 months ago
2015
IEEE
Abstract—The predicted failure rates of future supercomputers loom the groundbreaking research large machines are expected to foster. Therefore, resilient extreme-scale applicati...
663
click to vote
SBACPAD
2015
IEEE
9 years 11 months ago
2015
IEEE
Abstract—Modern computation workloads contain abundant Data Level Parallelism(DLP), which requires specialized data parallel architectures, such as Graphics Processing Units(GPUs...
680
click to vote
SAT
2015
Springer
9 years 11 months ago
2015
Springer
Very large MaxSAT instances, comprising 1020 clauses and beyond, commonly arise in a variety of domains. We present VOLT, a framework for solving such instances, using an iterative...
722
click to vote
SAT
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. In incremental SAT solving, information gained from previous similar instances has so far been limited to learned clauses that are still relevant, and heuristic informati...
582
click to vote
SAT
2015
Springer
9 years 11 months ago
2015
Springer
In this paper, we present SATGraf, a tool for visualizing the evolution of the structure of a Boolean SAT formula in real time as it is being processed by a conflict-driven clause...