Theory and Applications of Satisfiability Testing – SAT 2016

19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Computer Science, General Computing
Big bigCover of Theory and Applications of Satisfiability Testing – SAT 2016

More books from Springer International Publishing

bigCover of the book Advances in Operations Research Education by
bigCover of the book Structural Equation Models by
bigCover of the book A Longitudinal Approach to Family Trajectories in France by
bigCover of the book Environmental Resource Management and the Nexus Approach by
bigCover of the book Imagining Indianness by
bigCover of the book Female Delinquency From Childhood To Young Adulthood by
bigCover of the book Clinical Handbook of Bereavement and Grief Reactions by
bigCover of the book GeNeDis 2016 by
bigCover of the book Religion and Human Rights by
bigCover of the book Multiple Perspectives in Risk and Risk Management by
bigCover of the book Modelling and Simulation for Autonomous Systems by
bigCover of the book Controlled Substance Management in Chronic Pain by
bigCover of the book Biomarkers and Mental Illness by
bigCover of the book Handbook of Theory and Practice of Sustainable Development in Higher Education by
bigCover of the book International Handbook of Juvenile Justice by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy