Conference Paper

Weight Constrained Path Finding with Bidirectional A*

Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning

Optimising training for service delivery

Multi-Stage Sparse Resource Allocation for Control of Spreading Processes over Networks

A FastMap-Based Algorithm for?Block Modeling

Coupling Different Integer Encodings for?SAT

Enumerated Types and?Type Extensions for?MiniZinc

Analysing Multiobjective Optimization Using Evolutionary Path Length Correlation

Cluster-based Diversity Over-sampling: A Density and Diversity Oriented Synthetic Over-sampling for Imbalanced Data

A survey on Benders Decomposition methods applied to Assembly Line Balancing Problems