Marijn J. H. Heule, Oliver Kullmann et Victor W. Marek « Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings » () (DOI10.1007/978-3-319-40970-2_15, arXiv1605.00723)
Marijn J. H. Heule, Oliver Kullmann et Victor W. Marek « Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings » () (DOI10.1007/978-3-319-40970-2_15, arXiv1605.00723)