Lots of Limitations

Research Opportunities

SWS Challenge includes a basic RossettaNet protocol that is difficult to achieve with deductive synthesis.



@copy 2006 Charles Petrie - permission to reproduce widely with attribution