Bridging Constraint Satisfaction and Boolean Satisfiability (2015)

First Author: Petke J

Attributed to: DAASE: Dynamic Adaptive Automated Software Engineering funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-21810-6

Publication URI: http://dx.doi.org/10.1007/978-3-319-21810-6

Type: Book

ISBN: 978-3-319-21809-0