M Jarvisalo | TU Delft Repository

Library

local_library Home Repository

MJ

M Jarvisalo

Conference paper (3)

3 records found

1

Efficient CNF Simplification based on Binary Implication Graphs

Conference paper (2011) - M.J.H. Heule (author) , M Jarvisalo (author) , A Biere (author)

Blocked Clause Elimination

Conference paper (2010) - M Jarvisalo (author) , A Biere (author) , M.J.H. Heule (author)

Clause Elimination Procedures for CNF Formula

Conference paper (2010) - M.J.H. Heule (author) , M Jarvisalo (author) , A Biere (author)