The Complexity of Automated Reasoning (1989)

by André Vellino
Citations:7 - 0 self

Active Bibliography

131 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
824 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
1754 A Theory of the Learnable – L. G. Valiant - 1984
974 Improved Approximation Algorithms for Maximum Cut and Satisfiability Problems Using Semidefinite Programming – M. X. Goemans, D.P. Williamson - 1995
707 Routing with Guaranteed Delivery in ad hoc Wireless Networks – Prosenjit Bose, Pat Morin, Ivan Stojmenović, Jorge Urrutia - 2001
2427 The capacity of wireless networks – Piyush Gupta, P. R. Kumar - 2000
557 How bad is selfish routing? – Tim Roughgarden, Éva Tardos - 2002
561 An Integrated Experimental Environment for Distributed Systems and Networks – Brian White, Jay Lepreau, Leigh Stoller, Robert Ricci, Shashi Guruprasad, Mac Newbold, Mike Hibler, Chad Barb, Abhijeet Joglekar - 2002
861 Applied Cryptography -- Protocols, Algorithms, and . . . – Bruce Schneier