Finding satisfying global states: all for one and one for all | IEEE Conference Publication | IEEE Xplore