844 search results - page 96 / 169 » Safraless Decision Procedures |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The efficiency of current cargo screening processes at sea and air ports is largely unknown as few benchmarks exists against which they could be measured. Some manufacturers provi...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
AMAI
2005
Springer
13 years 8 months ago
2005
Springer
Many algorithms for Boolean satisfiability (SAT) work within the framework of resolution as a proof system, and thus on unsatisfiable instances they can be viewed as attempting to...
CCE
2004
13 years 8 months ago
2004
This paper describes an optimization procedure for the synthesis of complex distillation configurations. A superstructure based on the Reversible Distillation Sequence Model (RDSM...
RE
2002
Springer
13 years 8 months ago
2002
Springer
The relationship between project selection and requirements analysis is important, yet has not received much attention. The decisions made during project selection directly affect...