MJ

M Järvisalo

3 records found

Authored

Inprocessing Rules
Conference paper (2012) - M Järvisalo, M.J.H. Heule, A Biere

Simulating Circuit-Level Simplifications on CNF
Journal article (2012) - M Järvisalo, A Biere, M.J.H. Heule

Covered Clause Elimination
Conference paper (2010) - M.J.H. Heule, M Järvisalo, A Biere