Partial-order Boolean games - Department of Computer Science