1
Published 2006
Table of Contents: ... Fundamentals Through Interactive Interfaces for Learning -- Contributing to General Education by Teaching...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...: MUS Extraction with Interactive Choice of Candidates -- SCSat: A Soft Constraint Guided SAT Solver...
View full text
Electronic eBook