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 - Satisfiability - Document - PDFSEARCH.IO

First Page	Meta 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

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 List