Projective Model Counting for IP Addresses in Access Control Policies.

Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gkhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung

Browse the full FMCAD paper archive.