The top documents tagged [algorithmthe elimination]

Directional Resolution: The Davis-Putnam Procedure, Revisited
Documents Directional Resolution: The Davis-Putnam Procedure, Revisited

60 views