Sampling-Based SAT/ASP Multi-model Optimization as a Framework for Probabilistic Inference.

Matthias Nickles

Browse the full ILP paper archive.