1 citations · 1 across the 1 of their papers we have counts for
1 paper
Kevin Henshall, Peter Schachte, Harald Søndergaard +1
Selman and Kautz's work on ``knowledge compilation'' established how approximation (strengthening and/or weakening) of a propositional knowledge-base can be used to speed up query…