SIGN IN
SIGN UP
Complexity of Partial Satisfaction
Full Text:
PDF
Buy this Article
Authors:
K. J. Lieberherr
Department of Electrical Engineering and Computer Science, Princeton University, Princeton, NJ and Swiss Federal Institute of Technology, Zurich, Switzerland
E. Specker
Department of Mathematics, Swiss Federal Institute of Technology, ETH Zurich, Ch-8092 Zurich, Switzerland
Published in:
· Journal
Journal of the ACM (JACM)
JACM Homepage
archive
Volume 28 Issue 2, April 1981
Pages 411-421
ACM
New York, NY
, USA
table of contents
doi>
10.1145/322248.322260
1981 Article
Bibliometrics
· Downloads (6 Weeks): 2
· Downloads (12 Months): 21
· Downloads (cumulative): 413
· Citation Count: 17
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
algorithms
complexity of proof procedures
performance
reducibility and completeness
theory
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder