Bridging Constraint Satisfaction and Boolean Satisfiability (Artificial Intelligence: Foundations, Theory, and Algorithms)
by Justyna Petke
ISBN 13: 9783319218090
Format: Hardcover (128 pages) Publisher: Springer Published: 08 Jan 2016
Save for later
Search Based Software Engineering: 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings: 10452 (Lecture Notes in Computer Science)
by Tim Menzies, Justyna Petke
ISBN 13: 9783319662985
Format: Paperback (224 pages) Publisher: Springer Published: 17 Aug 2017
ISBN 13: 9783319373645
Format: Paperback (128 pages) Publisher: Springer Published: 22 Oct 2016