Abstract: Computational Social Choice is an interdisciplinary research area involving Economics, Political Science, and Social Science on the one side, and Mathematics and Computer Science (including ...

Abstract: Computation offloading between the edge and the cloud is an effective way for deployed service to fully utilize the resources at both sides for its QoS improvement and overall cost reduction ...

Other tutorial material is accessible from the repository and wiki pages on GitHub(opens in new tab). （在新选项卡中打开） Optimization Modulo Theories When SAT is not enough, Optimization Modulo Theories ...

My main line of work is around the state-of-the-art SMT constraint solver Z3 (opens in new tab). Z3 was developed with Leonardo de Moura, Lev Nachmanson and Christoph Wintersteiger. Z3 is used for ...