We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
We define a new NP search problem, the “local improvement” principle, about labellings of an acyclic, bounded-degree graph. We show that, provably in PV, it characterizes the...
Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Ne...
Predicting visual search behavior in human-computer interaction is a challenging problem. It is important for predictive modeling of human-computer interaction to integrate the vi...
In this paper, a new method for assigning credit to search operators is presented. Starting with the principle of optimizing search bias, search operators are selected based on an...
Most search systems for querying large document collections---for example, web search engines---are based on well-understood information retrieval principles