Find your next solver

Learn more about how AI is changing businesses and how you can leverage it: Insights, tools, tips, and expert voices

Case studies from AIMMS

Lead Data Scientist at Bluecrux with a newsletter about Constraint Programming.

Blog with news from the Operations Research and Optimization group at Amazon

Welcome to AMPL (A Mathematical Programming Language), a powerful and intuitive modeling language designed specifically for large-scale optimization problems. If you are new to modeling languages or AMPL, this page will guide you through what AMPL is, its benefits, and why it stands out in the landscape of programming and modeling languages.

Optimization problems in businesses using AMPL

Associate Professor at Universidade Federal da Paraíba + Host of the “Subject to” podcast.

The journal publishes 24 issues a year that focus on the theoretical, practical, and computational aspects of operations research

Prof Marco Lubbecke talks about optimization in a TED Talk.

The CVRPLIB team announces the CVRPLIB BKS Challenge, a 30-day competition aimed at finding extremely high-quality solutions for the new XL benchmark set, 100 challenging CVRP instances ranging from 1,000 to 10,000 customers.

Operations Research Scientist at Amazon, shares pragmatic views about delivering value through OR.

Co-Founder + CEO at Nextmv.

An Open-Source java library for constraint programming

Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind.

Operations research and computers interact in many scientific fields of vital importance to our society. These include, among others, transportation, economics, investment strategy, inventory control, logistics, safety, reliability, urban planning, and ecology. Computers & Operations Research (COR) provides an international forum for the application of computers and operations research techniques to problems in these and related fields.

Index with conferences about Operations Research for the following years

Index with conferences about Optimization for the following years

International conference about Constraint Programming

International conference about the integration of Constraint Programming, Artificial Intelligence and Operations Research

CSPLib is a library of test problems for constraint solvers.

A track record of successful deployments in several countries across the globe from DecisionBrain

Discord community about Operations Research

Discrete Optimization Talks (DOTs) is a virtual seminar series from the Mixed Integer Programming Society (MIPS), a technical section of the Mathematical Optimization Society (MOS). Topics of interest are theoretical, computational, and applied aspects of integer and combinatorial optimization. The typical format of each session is two 30-minute talks.

Professor in Operations Research at Copenhagen Business School; Editor-in-Chief of TOP, the OR journal of SEIO.

EURO is the 'Association of European Operational Research Societies'. The objectives of EURO aim to promote Operational Research within Europe.

It is a peer-reviewed academic journal in operations research. It was founded in 1977 by the Association of European Operational Research Societies

The Resource Center of use cases done with FICO

Blog with news from one of the biggest companies in the world optimizing chip making

Solve NP-hard optimization problems with Timefold AI.

GAMS is a modeling system for mathematical optimization that lets users formulate complex problems in a high-level language and run them with different commercial and open-source solvers. All solvers are packaged in a single distribution, making it easy to switch between them and giving customers one point of contact for licensing and support. It also has a Python interface -GAMSPy- for building and solving mathematical optimization models using the GAMS technology stack. It keeps the modeling concepts of GAMS (sets, parameters, variables, equations) but exposes them as Python classes and functions. This allows modelers to stay in the Python ecosystem while using mature GAMS solvers and workflows.

A selection of case studies that demonstrate the diverse application areas of mathematical optimization with GAMS.

Gecode is an open source C++ toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.

Open source software suite for optimization, tuned for tackling the world's toughest problems in vehicle routing, flows, integer and linear programming, and constraint programming.

Grid Optimization challenges for electric systems

Insights from different case studies of companies using Gurobi

Heuristic-based solver with great results in complex problems

Success stories from different companies using Hexaly

Huub is a Lazy Clause Generation (LCG) solver with a focus on modularity and maintainability in addition to speed. LCG solvers are a class of solvers that can be used to solve decision and optimization problems. They are characterized by their ability to dynamically add new Boolean variables and clauses to a Boolean Satisfiability (SAT) solver during the search process

Use cases from IBM

International Conference on Operations Research and Enterprise Systems

The International Federation of Operational Research Societies (IFORS) is an umbrella organization for national operations research societies of over 45 countries

It features conversations between students, faculty and professionals around OR-related topics

Analytics, Data Science, and AI - Actionable insights and thoughts to drive positive business transformation and impact.

INFORMS is the leading international association for Operations Research & Analytics professionals.

Calendar of events from INFORMS

International Conference on Operations Research

It is a peer-reviewed academic journal which is published six times a year by Wiley-Blackwell on behalf of the International Federation of Operational Research Societies. The editorial mission of the journal is to advance the theory and practice of Operational Research and Management Science internationally

Some books on algorithms are rigorous but incomplete; others cover masses of material but lack rigor. Introduction to Algorithms uniquely combines rigor and comprehensiveness.

J.D. Kelly is an Advanced Planning and Scheduling (APS) and Advanced Process Control (APC) expert in the process industries including both optimization and estimation technologies otherwise known as Advanced Production-chain Control, Optimization and Estimation (APCOE)

jMetal is a Java-based framework for multi-objective optimization with metaheuristics.

JuMP is a domain-specific modeling language for mathematical optimization embedded in Julia. JuMP makes it easy to formulate and solve a range of problem classes, including linear programs, integer programs, conic programs, semidefinite programs, and constrained nonlinear programs.

An innovative constraints programming component able to solve quickly and efficiently a wide range of combinatorial problems relying on an interactive and user-friendly hybrid framework including constraint programming, mixed-integer programming and artificial intelligence.

Sr Operations Research Analyst at Avista

Professor of Decision and Operation Technologies at Bielefeld University.

Professor of Industrial and Systems Engineering at the University of Wisconsin-Madison, 2023 INFORMS President.

It is a quarterly peer-reviewed scientific journal established in February 1976. It focuses on areas of mathematics relevant to the field of operations research such as continuous optimization, discrete optimization, game theory, machine learning, simulation methodology, and stochastic models. The journal is published by INFORMS (Institute for Operations Research and the Management Sciences)

This site provides access to a number of Operations Research problem data sets.

Creator of Optimization Solvers, CEO at InsideOpt.

International Conference on Metaheuristics and Nature Inspired Computing

Metaheuristics International Conference

Principal Research Scientist | AI Planning, Reasoning, and Decision-Making Systems; Executive Council Board Member at ICAPS and at AAAI, AAAI Senior Member

MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.

An extensible framework for solving discrete optimization problems using a combination of Mixed-Integer Linear Programming (MIP) and Machine Learning (ML). MIPLearn uses ML methods to automatically identify patterns in previously solved instances of the problem, then uses these patterns to accelerate the performance of conventional state-of-the-art MIP solvers such as CPLEX, Gurobi or XPRESS.

Real life examples from More Optimal

The Network consists of six academic and nine industrial participants from five EU countries, USA and Chile. The participants combine strong and complementary expertise, within industry sectors ranging from energy, retailing, insurance to banking, as well as national statistical offices.

A gradient-free optimization platform.

Journal about Operations Research from INFORMS

It is a bimonthly peer-reviewed academic journal covering operations research. It was established in 1981

Blog with news about optimization of structures and processes (including logistics planning, network planning, production planning…)

Challenges with different optimization problems

Case studies from Optimal Solutions focused on food & beverage, pharmaceuticals, airlines, and finance

Optlang is a Python package implementing a modeling language for solving mathematical optimization problems, i.e. maximizing or minimizing an objective function over a set of variables subject to a number of constraints. Optlang provides a common interface to a series of optimization tools, so different solver backends can be changed in a transparent way.

Instances for several interesting NP-hard problems.

Manager, Operations Research & Data Science | Optimization Expert (Ph.D.)

🌟 Welcome to the Prescriptive Analytics and Decision Optimization (PRADO) Series 2025! 🌟 The series of presentations about OR in practice, tools, and technologies. 📅 Program Sneak Peek: 🎤 March: Optimizing pharmacy procurement with substitution of drugs

Python-based, open-source optimization modeling language with a diverse set of optimization capabilities.

PyOptInterface is an open-source Python library to provide a unified API to construct and solve optimization models with various optimizers.

The podcast from INFORMS that talks about different topics around Operations Research

Bi-annual challenges from the French Operational Research (OR) and Decision Support Society. 2026: https://gitlab.com/Orange-OpenSource/network-optimization-tools/challenge-roadef-2026/-/tree/main/sprint_results

The Spanish Statistical and Operational Research Society is a Spanish organization that promotes the development and practice of statistics and operational research.

Annual challenges organized by Shell AI team.

Optimization competition organized by the Mexican Society of Operations Research (SMIO).

Stack Exchange about Operations Research topics

"Subject to" offers a series of informal conversations with relevant figures in the fields of Operations Research, Combinatorial Optimization and Logistics, and they are hosted by Anand Subramanian, an Associate Professor at Universidade Federal da Paraíba (UFPB), Brazil

Subreddit about Operations Research

Subreddit about Optimization

The Decision Intelligence Lab explores practical challenges of applying data science, analytics, and AI to drive real-world business outcomes. Hosted by Prof. Michael Watson (Nortwestern University) and Prof. Vijay Mehrotra (University of San Francisco) - both seasoned entrepreneurs, consultants, and researchers - this podcast delivers real-world insights for data professionals, business leaders, & anyone seeking to leverage data for smarter decision making. Each episode features leaders sharing how smarter decisions are reshaping business and technology.

Advice from a decision strategist with 19 years expertise in analytics & AI, inc. Gartner, system integrators & industry

The Operational Research Society (ORS), also known as The OR Society, is an international learned society in the field of operational research (OR), with more than 3,100 members

Business cases highlighted by The OR Society

OR-Library is a collection of test data sets for a variety of Operations Research (OR) problems.

Self-employed OR Engineer at Bluebird Optimization sharing insights about the impact of optimization in businesses.

Updated fork from OptaPlanner

Customer stories of companies using Timefold for planning problems

Uno (Unifying Nonlinear Optimization) is a C++ library that unifies methods for solving nonlinearly constrained optimization problems.

X (Twitter) list with accounts related to Operations Research

Z3 is a theorem prover from Microsoft Research.