Data processing: measuring – calibrating – or testing – Measurement system in a specific environment – Chemical analysis
Reexamination Certificate
2006-05-16
2006-05-16
Ferris, Fred (Department: 2128)
Data processing: measuring, calibrating, or testing
Measurement system in a specific environment
Chemical analysis
C703S002000, C703S013000, C703S004000, C716S030000, C716S030000
Reexamination Certificate
active
07047139
ABSTRACT:
A technique is disclosed for sharing information between closely-related SAT instances (instances with a non-empty intersection between their sets of clauses), which enables a speed-up in the overall solution time. This technique is particularly effective in SAT-based bounded model checking (BMC), and in problems of planning and logistics.
REFERENCES:
patent: 6247164 (2001-06-01), Ashar et al.
patent: 6408262 (2002-06-01), Leerberg et al.
patent: 6496961 (2002-12-01), Gupta et al.
patent: 6591400 (2003-07-01), Yang
patent: 6654715 (2003-11-01), Iwashita
patent: 6728665 (2004-04-01), Gupta et al.
“GRASP—A New Search Algorithm for Satisfiability”, Silva et al, ICADD 96', IEEE 1063-6757/96, 1996 IEEE.
“Symbolic Model Checking using SAT procedures instead of BDD's”, Biere et al, DAC 99', pp. 317-320, ACM 1999.
“Boolean Satisfiability in Electronic Desing Automation”, Marques-Silva et al, DAC 2000, pp. 675-680, ACM 2000.
“Satisfiability-Based Layout Revisited: Detailed Roouting of Complex FPGA's Vai Search-Based Boolean SAT”, Nam et al, FPGA 99', pp. 167-175, ACM 1999.
Silva et al. “GRASP-A New Search Algorithm for Satisfiability”.
Shtrichman, Sharing Information Between SAT Instances.
Silva et al. “Robust Search Algorithms for Test Pattern Generation”.
Shtrichman “Turning SAT Checkers for Bounded Model Checking”.
Kim et al. “Incremental Boolean Satisfiability and its application to Delay Fault Testing”.
Silva et al, “GRASP:A Search Algorithm for Propositional Satisfiability”, vol. 48, No. 5 May 1999.
Biere et al. “Symbolic Model Checking Without BDDs”.
Hooker “Solving the Incremental Satisfiability Problem”, Mar. 1991.
Browdy and Neimark PLLC
Ferris Fred
International Business Machines - Corporation
LandOfFree
Sharing information between instances of a propositional... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Sharing information between instances of a propositional..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sharing information between instances of a propositional... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3556966