1

A Linear-Time Parameterized Algorithm for Node Unique Label Cover
PDF Cite DOI
A Logic-Based Benders Decomposition Approach for the 3-Staged Strip Packing Problem
PDF Cite
A Scalable Approach for the K-Staged Two-Dimensional Cutting Stock Problem
PDF Cite
Backdoor Trees for Answer Set Programming
PDF Cite
Backdoor Treewidth for SAT
PDF Cite DOI
Circuit Treewidth, Sentential Decision, and Query Compilation
PDF Cite DOI
Combining Treewidth and Backdoors for CSP
PDF Cite DOI
Complexity Results for Aggregating Judgments using Scoring or Distance-Based Procedures
PDF Cite
Complexity Results for Manipulation, Bribery and Control of the Kemeny Judgment Aggregation Procedure
PDF Cite
Efficient Consideration of Soft Time Windows in a Large Neighborhood Search for the Districting and Routing Problem for Security Control
PDF Cite