106 citations · 106 across the 2 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…