1

Towards Improving Merging Heuristics for Binary Decision Diagrams
PDF Cite
A Structural Approach to Activity Selection
PDF Cite
A Visual Comparison of Hand-Drawn and Machine-Generated Human Metabolic Pathways
Cite Project DOI
An A* Algorithm for Solving a Prize-Collecting Sequencing Problem with One Common and Multiple Secondary Resources and Time Windows
PDF Cite
An SMT Approach to Fractional Hypertree Width
PDF Cite DOI
Experimental Evaluation of Book Drawing Algorithms
PDF Cite DOI
Finding Smooth Graphs with Small Independence Numbers
PDF Cite
GRASP-VNS for a Periodic VRP with Time Windows to Deal with Milk Collection
PDF Cite
Local Structure Theorems for Erdos-Rényi Graphs and Their Algorithmic Applications
PDF Cite DOI
Minimzing Wiggles in Storyline Visualizations
PDF Cite