MJ

M Jarvisalo

3 records found

Authored

Efficient CNF Simplification based on Binary Implication Graphs
Conference paper (2011) - M.J.H. Heule, M Jarvisalo, A Biere

Blocked Clause Elimination
Conference paper (2010) - M Jarvisalo, A Biere, M.J.H. Heule

Clause Elimination Procedures for CNF Formula
Conference paper (2010) - M.J.H. Heule, M Jarvisalo, A Biere