Constrained Sampling and Counting: Universal Hashing Meets SAT Solving

Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik. Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. In Adnan Darwiche, editor, Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. Volume WS-16-05 of AAAI Workshops, AAAI Press, 2016. [doi]

Abstract

Abstract is missing.