@article{ITA_1977__11_1_75_0, author = {Aiello, A. and Burattini, E. and Massarotti, A.}, title = {Reducibility as a tool to extend the power of approximation algorithms the minimization of boolean expressions}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, volume = {11}, year = {1977}, pages = {75-82}, mrnumber = {478742}, zbl = {0366.94048}, language = {en}, url = {http://dml.mathdoc.fr/item/ITA_1977__11_1_75_0} }
Aiello, A.; Burattini, E.; Massarotti, A. Reducibility as a tool to extend the power of approximation algorithms the minimization of boolean expressions. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) pp. 75-82. http://gdmltest.u-ga.fr/item/ITA_1977__11_1_75_0/
1. The Complexity of Theorem Proving Procedures, Proc. 3rd Annual ACM Symposium on Theory of Computing, 1971, pp. 151-158. p. 38-49. | Zbl 0253.68020
,2. Approximation Algorithms for Combinatorial Problems, Conference Record of Fifth ACM Symposium on Theory of Computing, 1973, p. | MR 461979 | Zbl 0316.68024
,3. Reducibility Among Combinatorial Problems, In Complexity of Computer Computations, R. E. MILLER and J. W. THATCHER Eds and Plenum Press, New York, 1972, pp. 85-104. | MR 378476 | Zbl 0366.68041
,4. Non Elementary Word Problems in Automata and Logic, Proc. AMS Symposium on Complexity of Computation, 1973, pp. 38-49. | MR 418518
and ,5. Computational Related Problems, S.I.A.M. J. Comp. 4, 1974, pp. 62-279. | MR 433985 | Zbl 0272.68040
,6. P-Complete Problems and Approximate Solutions, Computer Science Dept., University of Minnesota, 1974. | MR 416113
and ,7. Polynomial Complete Scheduling Problems, Proc. 4th Symposium on Operating System Principles, 1973, pp. 96-101.
,