Back to Results
First PageMeta Content



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.ie
Add to Reading List

Document Date: 2008-08-13 12:55:47


Open Document

File Size: 331,34 KB

Share Result on Facebook
UPDATE