Marc Meister Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. 172-181 2006 conf/wlp/2006 WLP http://www.kr.tuwien.ac.at/wlp06/16-final.ps.gz db/conf/wlp/wlp2006.html#Meister06