External Links

    Journal: JSAT

    Volume 7, Issue 4

    127 -- 132Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais. Deterministic Parallel DPLL
    133 -- 138Peter van der Tak, Antonio Ramos, Marijn Heule. Reusing the Assignment Trail in CDCL Solvers
    139 -- 144Olivier Roussel. Controlling a Solver Execution with the runsolver Tool
    145 -- 187Steve Haynal, Heidi Haynal. Generating and Searching Families of FFT Algorithms
    189 -- 201Magnus Björk. Successful SAT Encoding Techniques
    runs on