1. On Preprocessing Techniques and Their Impact on Propositional Model Counting

   • Jean-Marie Lagniez
   • Pierre Marquis

   OriginalPaper 07 April 2016 Pages: 413 - 481

   

2. Proving Divide and Conquer Complexities in Isabelle/HOL

   • Manuel Eberl

   OriginalPaper 13 June 2016 Pages: 483 - 508

   

3. A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem

   • Jesús Aransay
   • Jose Divasón

   OriginalPaper 14 June 2016 Pages: 509 - 535