Neeraj Mittal Alper Sen Vijay K. Garg Ranganath Atreya Finding Satisfying Global States: All for One and One for All. 2004 conf/ipps/2004 IPDPS http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/01/213210066babs.htm db/conf/ipps/ipdps2004-c.html#MittalSGA04