Automated synthesis of combinational logic using problem solving techniques - researchr publication

researchr

You are not signed in
Sign in
Sign up

Huy Nam Nguyen, L. Ducousso. Automated synthesis of combinational logic using problem solving techniques. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. pages 577-582, 1989.

Abstract is missing.

runs on WebDSL