On computing exploration and solving design problems

Tim Smithers, David Corne, Peter Ross. On computing exploration and solving design problems. In John S. Gero, Enn Tyugu, editors, Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994. Volume B-18 of IFIP Transactions, pages 293-313, Elsevier, 1994.

Abstract

Abstract is missing.