610 search results - page 18 / 122 » Using SAT in QBF |
IGARSS
2009
13 years 5 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...
DAC
1999
ACM
14 years 8 months ago
1999
ACM
PC
2006
13 years 7 months ago
2006
In this paper, we present GridSAT
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...
ICCSA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents the Job Shop Scheduling Problem (JSSP) represented as the well known Satisfiabilty Problem (SAT). Even though the representation of JSSP in SAT is not...