On QoS web service composition using satisfiability | IEEE Conference Publication | IEEE Xplore