Author index (last vol./issue)
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 51 KB
A complete adaptive algorithm for propositional satisfiability (3) 523-534 Budinich, M., Exact bounds on the order of the maximum clique of a graph