M Järvisalo | TU Delft Repository

MJ

M Järvisalo

Conference paper (2)

Journal article (1)

3 records found

1

Inprocessing Rules

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

Simulating Circuit-Level Simplifications on CNF

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

Covered Clause Elimination

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