106 citations · 183 across the 12 of their papers we have counts for
1 paper · 1 filter
E. Giunchiglia, M. Narizzano, A. Tacchella
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable form…