Sign in

Algorithms for Counting 2-SatSolutions and Colorings with Applications.

Martin FürerShiva Prasad Kasiviswanathan
Published in: AAIM (2007)
Keyphrases