Average Case Results for Satisfiability Algorithms Under the Random Clause Width Model (1995)

Cached

Download Links

by J. Franco , R.P. Swaminathan
Venue:Annals of Mathematics and Artificial Intelligence
Citations:9 - 1 self