activity
20202026
most citedDifferentiable Equilibrium Computation with Decision Diagrams for Stackelberg Models of Combinatorial Congestion Games

3 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.DS2020

Variable Shift SDD: A More Succinct Sentential Decision Diagram

Kengo Nakamura, Shuhei Denzumi, Masaaki Nishino

The Sentential Decision Diagram (SDD) is a tractable representation of Boolean functions that subsumes the famous Ordered Binary Decision Diagram (OBDD) as a strict subset. SDDs ar…