1 paper · 1 filter
Alexander Sakharov
A decision procedure for detecting valid propositional formulas is presented. It is based on the Davis-Putnam method and deals with propositional formulas that are initially conver…