1

Turbocharging Treewidth-Bounded Bayesian Network Structure Learning
PDF Cite Project Project
Unit Disk Representations of Embedded Trees, Outerplanar and Multi-Legged Graphs
PDF Cite DOI
Casual Employee Scheduling with Constraint Programming and Metaheuristics
PDF Cite
A Beam Search Approach to the Traveling Tournament Problem
PDF Cite
A Beam Search for the Longest Common Subsequence Problem Guided by a Novel Approximate Expected Length Calculation
PDF Cite DOI
A Double-Horizon Approach to a Purely Dynamic and Stochastic Vehicle Routing Problem with Delivery Deadlines and Shift Flexibility
PDF Cite
A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth
PDF Cite Project Project Project
A Time Leap Challenge for SAT-Solving
Cite Project Project
Breaking Symmetries with RootClique and LexTopsort
PDF Cite Project Project
Building Large k-Cores from Sparse Graphs
PDF Cite DOI