Multiagent Technology for Parallel Implementation of Boolean Constraint Method for Qualitative Analysis of Binary Dynamic Systems | IEEE Conference Publication | IEEE Xplore