Sciweavers

ALGORITHMICA
2016
10 years 15 days ago
Linear-Space Data Structures for Range Frequency Queries on Arrays and Trees
Stephane Durocher, Rahul Shah, Matthew Skala, Shar...
ALGORITHMICA
2016
10 years 15 days ago
Optimal Encodings for Range Majority Queries
We study the problem of designing a data structure that reports the positions of the distinct τ-majorities within any range of an array A[1, n], without storing A. A τ-majority ...
Gonzalo Navarro, Sharma V. Thankachan
ALGORITHMICA
2016
10 years 15 days ago
On the Ordered List Subgraph Embedding Problems
Abstract. In the (parameterized) Ordered List Subgraph Embedding problem (p-OLSE) we are given two graphs G and H, each with a linear order defined on its vertices, a function L t...
Olawale Hassan, Iyad A. Kanj, Daniel Lokshtanov, L...
ALGORITHMICA
2016
10 years 15 days ago
Backdoors to q-Horn
The class q-Horn, introduced by Boros, Crama and Hammer in 1990, is one of the largest known classes of propositional CNF formulas for which satisfiability can be decided in poly...
Serge Gaspers, Sebastian Ordyniak, M. S. Ramanujan...
ALENEX
2016
65views Algorithms» more  ALENEX 2016»
10 years 15 days ago
Scalable Transfer Patterns
We consider the problem of Pareto-optimal route planning in public-transit networks of a whole country, a whole continent, or even the whole world. On such large networks, existin...
Hannah Bast, Matthias Hertel, Sabine Storandt
ALENEX
2016
81views Algorithms» more  ALENEX 2016»
10 years 15 days ago
Geometry Helps to Compare Persistence Diagrams
Exploiting geometric structure to improve the asymptotic complexity of discrete assignment problems is a well-studied subject. In contrast, the practical advantages of using geome...
Michael Kerber, Dmitriy Morozov, Arnur Nigmetov
AI
2016
Springer
10 years 15 days ago
Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited
We discuss a new implementation of, and new experiments with, Fajtlowicz’s Dalmatian conjecture-making heuristic. Our program makes conjectures about relations of real number in...
Craig E. Larson, Nicolas Van Cleemput
AI
2016
Springer
10 years 15 days ago
Argument graphs and assumption-based argumentation
Robert Craven, Francesca Toni
AI
2016
Springer
10 years 15 days ago
A hybrid exact algorithm for complete set partitioning
In the Complete Set Partitioning problem we are given a finite set of elements where every subset is associated with a nd the goal is to partition this set into disjoint subsets ...
Tomasz P. Michalak, Talal Rahwan, Edith Elkind, Mi...
AI
2016
Springer
10 years 15 days ago
Certain answers as objects and knowledge
The standard way of answering queries over incomplete databases is to compute certain answers, defined as the intersection of query answers on all complete databases that the inc...
Leonid Libkin