Computing weak consistency in polynomial time

   Abstract