Keyword:blocked clause elimination

Publications
EasyChair Preprint 5939