ProblemsΒΆ

The table below enumerates every problem in FormulationBench and the source it was adapted from. Each problem page provides detailed information about the problem and every formulation of it. This documentation is automatically generated from the dataset to ensure it is up-to-date.

Problem

Name

NP-hard

Source

p1

Amusement Park Ticket Machines

no

[3]

p2

Electricity Generation Experiment

yes

[3]

p3

Summer Camp Science Experiment

yes

[3]

p4

Employee Transportation

no

[3]

p5

Garden Bed Soil Hydration

no

[3]

p6

Capacitated Warehouse Location Problem (CWLP)

yes

[2]

p7

Rectangular Tiling with One Hole per Row and Column (IMO6)

no

[2]

p8

Job Shop Scheduling Problem (JSSP)

yes

[2]

p9

Multi-Commodity Network Design (MCND)

yes

[2]

p10

Pickup and Delivery Problem with Time Windows (PDPTW)

yes

[2]

p11

Sub-Hour Unit Commitment (SHUC)

yes

[2]

p12

Traveling Salesman Problem (TSP)

yes

[2]

p13

Air Traffic Flow Management

yes

[1]

p14

Blood Bank Netherlands

yes

[1]

p15

Dutch Housing Problem

yes

[1]

p16

Park and Bike Hub Location (Mobian)

yes

[1]

p17

Open-Pit Mine Production Scheduling

yes

[1]

p18

Timor-Leste Hospital Location

yes

[1]

p19

UN Humanitarian Disaster Response Hub Location (UNHDR)

yes

[1]

p20

World Food Program Food Distribution

yes

[1]