This book represents a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by providing theoretical explanations for why SAT-solvers are efficient on cert
This book constitutes the refereed proceedings of the 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017. The 7 full papers a
