Karl J. Lieberherr
K. J. Lieberherr and E. Specker.
Complexity of partial satisfaction.
Journal of the ACM
, 28(2):411-421, April 1981.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database