We report on the performance of an enhanced version of the “Davis-Putnam”(DP) proof
procedure for propositional satisfiability (SAT) on large instances derived from realworld …

Now completing its first year, the High-Performance Knowledge Bases Project promotes
technology for developing very large, flexible, and reusable knowledge bases. The project is …

A brief description is given of the theory and history of EIDI (electroimpulse deicing) technology.
These descriptions are followed by a summary of the experiments conducted by the …

While CNF propositional satisfiability (SAT) is a sub-class of the more general constraint
satisfaction problem (CSP), conventional wisdom has it that some well-known CSP look-back …

We show that many\critically constrained" Random 3SAT knowledge bases (KBs) and other
KBs commonly used as benchmarks for propositional knowledge compilation (KC) can be …

Background Pelvic radiation plus sensitizing chemotherapy with a fluoropyrimidine (chemoradiotherapy)
before surgery is standard care for locally advanced rectal cancer in North …

This monograph is one of a series on current issues and directions in the area of crime and
delinquency. The series is being sponsored by the Center for Studies of Crime and …

In the past generation, there has been a fundamental shift in the way government and other
organizations control the lives and behavior of individuals. No single method and no single …

The Snowball Earth hypothesis explains the development of glaciation at low latitudes in the
Neoproterozoic, as well as the associated iron formations and cap carbonates, in terms of a …

We present the novel application of a general-purpose knowledge-based system, SHAKEN,
to the specific task of acquiring knowledge for military Course of Action (COA) analysis. We …