@inproceedings{e073f517de7245f2822190016db7e5b4,
title = "Blocked Clause Elimination",
keywords = "CWTS JFIS < 0.75",
author = "M Jarvisalo and A Biere and MJH Heule",
year = "2010",
language = "English",
isbn = "0302-9743",
publisher = "Springer",
pages = "129--144",
editor = "J Esparza and R Majumdar",
booktitle = "Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
note = "TACAS '10 ; Conference date: 20-03-2010 Through 28-03-2010",
}