Sciweavers

AI
2016
Springer
8 years 29 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
8 years 29 days ago
Exploiting local and repeated structure in Dynamic Bayesian Networks
We introduce the structural interface algorithm for exact probabilistic inference in dynamic Bayesian networks. It unifies state-of-the-art techniques for inference in static and...
Jonas Vlasselaer, Wannes Meert, Guy Van den Broeck...
AI
2016
Springer
8 years 29 days ago
SATenstein: Automatically building local search SAT solvers from components
Designing high-performance algorithms for computationally hard problems is a difficult and often time-consuming task. In this work, we demonstrate that this task can be automated...
Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Ke...
AI
2016
Springer
8 years 29 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
AI
2016
Springer
8 years 29 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
Artificial Intelligence
Top of PageReset Settings