Travelled to:1 × Australia
Collaborated with:P.Beame G.V.d.Broeck D.Suciu
Talks about:symmetr (1) weight (1) order (1) model (1) first (1) count (1)
Person: Eric Gribkoff
DBLP: Gribkoff:Eric
Contributed to:
2015Wrote 1 papers:
- PODS-2015-BeameBGS #first-order #symmetry
- Symmetric Weighted First-Order Model Counting (PB, GVdB, EG, DS), pp. 313–328.