LOGIC SYNTHESIS PAPERS.
SEARCH AND OPTIMIZATION:
- 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.
- 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.
- Marek Perkowski, "Heuristic Methods in Computer Science,"
In A. Goralski, (ed.), "Problem method solution," Collection 1,
Scientific-Technical Publishers (WNT), (in Polish), 1977.
- 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.
- 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.
-
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
- 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.
- 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.
- 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.
- 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.
- Marek Perkowski,
"Digital Devices Design by Problem-Solving Transformations,"
Journal on Computers and Artificial Intelligence,
Vol. 1, No. 4, pp. 343 - 365, August 1982.
- 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.
- 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.
-
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.
- 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.
-
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.