Problem about Davis Putman algorithm INPUT.txt [code] 6 p q r s k m 6 ~p|q ~q|r ~p|~r|s ~r|k ~k|m r m [/code] right OUTPUT.txt [code] ~...
This user does not accept Private Messages