Highly Influential

- Published 2000

Satissability algorithms for propositional logic have improved enormously in recently years. This increases the attractiveness of satissability methods for rst order logic that reduce the problem to a series of ground-level satissability problems. R. Jeroslow introduced a partial instantiation method of this kind that diiers radically from the standard… CONTINUE READING

### Presentations referencing similar topics