Cite
APA Citation
Creignou, N., & Le Berre, D. (Eds.) (2016). Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. Switzerland : Springer. http://access.bl.uk/ark:/81055/vdc_100072314796.0x000001