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 - College of Science - Document - PDFSEARCH.IO

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.ie Add to Reading List Source URL: www.cs.ucc.ie Download Document from Source Website File Size: 331,34 KB Share Document on Facebook