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