Efficiency and Sequenceability in Fair Division of Indivisible Goods with Additive Preferences
Elicitation for Preferences Single Peaked on Trees
On the Uniform One-dimensional Fragment
Estimating 3D trajectories from 2D projections via disjunctive factored four-way conditional restricted Boltzmann machines
HordeQBF: A Modular and Massively Parallel QBF Solver
A Hybrid Approach to Query Answering under Expressive Datalog+/-