Karl J. Lieberherr, Ernst Specker. Complexity of Partial Satisfaction. In 20th Annual Symposium on Foundations of Computer Science, 29-31 October 1979, San Juan, Puerto Rico. pages 132-139, IEEE, 1979.
@inproceedings{LieberherrS79,
title = {Complexity of Partial Satisfaction},
author = {Karl J. Lieberherr and Ernst Specker},
year = {1979},
researchr = {https://researchr.org/publication/LieberherrS79},
cites = {0},
citedby = {0},
pages = {132-139},
booktitle = {20th Annual Symposium on Foundations of Computer Science, 29-31 October 1979, San Juan, Puerto Rico},
publisher = {IEEE},
}