Linear-time parallel arc consistency with reduced communication requirements [Technical Report] CTI TR 95.5.22 - Δενδρής, Νίκος; Κυρούσης, Λευτέρης Μ. (Computer Technology Institute, 1995)