First Page | Document Content | |
---|---|---|
Date: 2008-08-13 12:55:47 | Satisfiability as a Classification Problem? David Devlin and Barry O’Sullivan Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {d.devlin|b.osullivan}@4c.ucc.ieAdd to Reading ListSource URL: www.cs.ucc.ieDownload Document from Source WebsiteFile Size: 331,34 KBShare Document on Facebook |