31 search results - page 7 / 7 » Quantified Synthesis of Reversible Logic |
KCAP
2003
ACM
13 years 11 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...