20 citations · 26 across the 7 of their papers we have counts for
1 paper · 2 filters
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…