Elimination Of Infrequent Variables Improves Average Case Performance Of Satisfiability Algorithms (1991)

Cached

Download Links

by John Franco
Venue:SIAM J. Comput
Citations:16 - 5 self