Liknande böcker

Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th Int...
Bok av Marijn Heule
Computational Science – ICCS 2018 : 18th International Conference, Wuxi,...
Bok
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Aus...
Bok av María J. Blesa
Algorithms and Models for the Web Graph : 9th International Workshop, WA...
Bok av Anthony. Bonato
Learning and Intelligent Optimization : 12th International Conference, L...
Bok av Roberto Battiti
Machine Learning : A Practical Approach on the Statistical Learning Theory
Bok av Rodrigo F Mello
Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Co...
Bok av Nicola Olivetti
Logical Foundations of Computer Science : International Symposium, LFCS...
Bok av Sergei Artemov

Bridging Constraint Satisfaction and Boolean Satisfiability

Bok av Justyna. Petke