Author index (last vol./issue)

• Publisher: Elsevier Science
• Year: 2003
• Tongue: English
• Weight: 51 KB
• Volume: 127
• Category: Article
• ISSN: 0166-218X
• DOI: 10.1016/s0166-218x(03)00253-1

✦ Synopsis

A complete adaptive algorithm for propositional satisfiability

(3) 523-534 Budinich, M., Exact bounds on the order of the maximum clique of a graph