M Järvisalo | TU Delft Repository

Library

local_library Home Repository

MJ

M Järvisalo

Conference paper (2)

Journal article (1)

3 records found

1

Simulating Circuit-Level Simplifications on CNF

Journal article (2012) - M Järvisalo (author) , A Biere (author) , M.J.H. Heule (author)

Inprocessing Rules

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

Covered Clause Elimination

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