We present a new derivation of eļ¬cient algorithms for a class of optimization problems called maximum marking problems. We extend the class of weight functions used in the speciļ...
Planning as satisfiability (SAT-Plan) is one of the best approaches to optimal planning, which has been shown effective on problems in many different domains. However, the potenti...
This paper introduces accumulation into list homomorphisms for systematic development of both efļ¬cient and correct parallel programs. New parallelizable recursive pattern called...
Given an undirected graph G = (V, E) and a weight function w : E ā Z+ , we consider the problem of orienting all edges in E so that the maximum weighted outdegree among all verti...
In the classic multi-armed bandits problem, the goal is to have a policy for dynamically operating arms that each yield stochastic rewards with unknown means. The key metric of int...