Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...
American Journal of Mathematics, Vol. 138, No. 2 (April 2016), pp. 499-527 (29 pages) This paper deals with some geometrical properties of solutions of some semilinear elliptic equations in bounded ...
Tsukuba, Japan—Distributed constraint optimization problems are crucial for modeling cooperative-multiagent systems. Asynchronous Distributed OPTimization (ADOPT) is a well-known algorithm for solving ...
A great deal of attention has been paid recently to the claim that traditional Frankfurt-type counterexamples to the Principle of Alternative Possibilities (PAP), which depend for their success on the ...
Abstract: Many counterexamples to the convergence or stability of temporal-difference learning exist, which show that even for simple examples weights of a learned model can diverge. This phenomenon ...