141 search results - page 5 / 29 » sat 2010 |
99
Voted
CP
2010
Springer
14 years 8 months ago
2010
Springer
We present a new complete multi-valued SAT solver, based on current state-of-the-art SAT technology. It features watched literal propagation and conflict driven clause learning. W...
IGARSS
2009
14 years 7 months ago
2009
The vicarious cold and warm calibration methods of Ruf, and Brown and Ruf, have been used to assess the calibration of the WindSat radiometer as well as the biases of the TMI, SSM...
IEEEHPCS
2010
14 years 8 months ago
2010
Abstract. In this paper, we explore the two well-known principles of diversification and intensification in portfolio-based parallel SAT solving. These dual concepts play an impo...
PPDP
2010
Springer
14 years 7 months ago
2010
Springer
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
MFCS
2010
Springer
14 years 7 months ago
2010
Springer
For a finite set Γ of Boolean relations, Max Ones SAT(Γ) and Exact Ones SAT(Γ) are generalized satisfiability problems where every constraint relation is from Γ, and the task...