LOGIC SYNTHESIS PAPERS.



SEARCH AND OPTIMIZATION:


  1. Alan Mishchenko, Craig Files, Marek Perkowski, Bernd Steinbach, and Christina Dorotska, ``Implicit Algorithms for Multi-Valued Input Support Manipulation,'' Proc. of 4th Intl. Workshop on Boolean Problems, September 2000, Freiberg, Germany, pp. 9 - 20.
  2. Marek Perkowski, "A Multipurpose and Multistrategic Program for Solving Combinatorial Problems," Proc. of the 3rd Symposium on Heuristic Methods, Vol. 3. pp. 23 - 90 (in Polish), Polish Cybernetical Society, Warsaw, 25 September 1976.

  3. Marek Perkowski, "Heuristic Methods in Computer Science," In A. Goralski, (ed.), "Problem method solution," Collection 1, Scientific-Technical Publishers (WNT), (in Polish), 1977.

  4. Marek Perkowski, "An Application of General Problem-Solving Methods in Computer-Aided Design: the MULTICOMP System and its Problem-Oriented Source Language". Proc. of the IVth International Symposium on Heuristic Methods, PTC, Vol. 3., pp. 55 - 102, Warsaw, 24 September, 1977.

  5. Marek Perkowski, "The State-Space Approach to the Design of Multipurpose Problem-Solver for Logic Design," "Artificial Intelligence and Pattern Recognition in Computer-Aided Design," In J. C. Latombe, (ed.), North Holland, Amsterdam, pp. 123-140, 1978.


  6. M. A. Perkowski, P. Dysko, B. J. Falkowski, "Two Learning Methods for a Tree-Search Combinatorial Optimizer," Proc. of IEEE International Phoenix Conference on Computers and Communication, pp. 606 - 613, Scottsdale, Arizona, March 1990.




RULE BASED AND CONSTRAINED-BASED APPROACHES
  1. Ewa Dobrzynska, and Marek Perkowski, "Description of the Problem Instead of the Description of the Solution Process: Heuristic Programming Languages," In A. Goralski, (ed.), "Problem, method, solution," Collection 3, Scientific - Technical Publishers, (in Polish), pp. 167-199, 1980.

  2. Marek Perkowski, "Digital Design by Problem-Solving Transformations," Proc. of the International Conference on "Artificial Intelligence and Information-Control Systems of Robots," pp. 18/1-18/19, Smolenice near Bratislava, Czechoslovakia, 30 June - 4 July, 1980.

  3. Marek Perkowski, "Multistrategical Problem Solver," Proc. of the 2nd International Meeting on Intelligent Robotics and Knowledge Representation, Plenum Press, Repino near Leningrad, USSR, 12-19 October 1980.

  4. Marek Perkowski, "General Methods for Solving Combinational Problems," In A. Goralski, (ed.), "Problem, method, solution," Vol. 4, Scientific-Technical Publishers, Warszawa, Poland, (in Polish), pp. 110-149, 1982.


  5. Marek Perkowski, "Digital Devices Design by Problem-Solving Transformations," Journal on Computers and Artificial Intelligence, Vol. 1, No. 4, pp. 343 - 365, August 1982.


  6. C. Files, A. Reis, M. A. Perkowski, M. Robert, and D. Auvergne, "Minimization of Networks with Complex Gates," Proceedings of Workshop "Boolesche Probleme", Freiberg, Germany, 19-20 September, 1996.


  7. C. Files, A. Reis, M. A. Perkowski, M. Robert, and Daniel Auvergne, "Exact Minimization of Networks with Complex Gates Using Terminal Supressed Binary Decision Diagrams and Dissected Pairs," ULSI Workshop, Santiago De Compostela, Spain, 31 May 1996.


  8. I. Schaefer, M. A. Perkowski, "Synthesis of Multi-Level Multiplexer Circuits for Incompletely Specified Multi-Output Boolean Functions with Mapping Multiplexer Based FPGAs," IEEE Transactions on Computer Aided Design, Vol. 12, No. 11, November 1993, pp. 1655 - 1664.


  9. M. J. Ciesielski, S. Yang, M. A. Perkowski, "Multiple-Valued Minimization Based on Graph Coloring," Proc. of the IEEE International Conference on Computer Design: VLSI in Computers, ICCD'89, pp. 262 - 265, October 1989.


  10. M. A. Perkowski, P. Wu, K. A. Pirkl, "KUAI-EXACT: A New Approach for Multi-Valued Logic Minimization in VLSI Synthesis," Proc. of the IEEE 1989 ISCAS - International Symposium on Circuits and Systems, pp. 401 - 404, Portland, OR, May 9-11, 1989.