On Preprocessing Techniques and Their Impact on Propositional Model Counting Jean-Marie LagniezPierre Marquis OriginalPaper 07 April 2016 Pages: 413 - 481
Proving Divide and Conquer Complexities in Isabelle/HOL Manuel Eberl OriginalPaper 13 June 2016 Pages: 483 - 508
A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem Jesús AransayJose Divasón OriginalPaper 14 June 2016 Pages: 509 - 535