Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT (2001)

Cached

Download Links

by Weixiong Zhang
Venue:In Proc. of 7th Int. Conf. on Principles and Practice of Constraint Programming (CP2001
Citations:25 - 5 self