Branca della ricerca operativa, costituita da un insieme di metodi che possono essere applicati a problemi di diverse aree quali la biologia molecolare, la selezione di investimenti, network design, pianificazione della produzione, data minig, deduzione automatica, ecc.