On the efficiency of learning techniques for combinational checking

C.A.J. Eijk, van, G.L.J.M. Janssen

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. International Workshop on Logic Synthesis
Pages40-43
Publication statusPublished - 1998
Eventconference; Proc. International Workshop on Logic Synthesis, Lake Tahoe, CA, 7-10 June 1998 -
Duration: 1 Jan 1998 → …

Conference

Conferenceconference; Proc. International Workshop on Logic Synthesis, Lake Tahoe, CA, 7-10 June 1998
Period1/01/98 → …
OtherProc. International Workshop on Logic Synthesis, Lake Tahoe, CA, 7-10 June 1998

Cite this