97 citations · 266 across the 25 of their papers we have counts for
1 paper · 1 filter
R. Khardon
Characteristic models are an alternative, model based, representation for Horn expressions. It has been shown that these two representations are incomparable and each has its advan…