ConferencePaper ISI SCOPUS
AI COMMUNICATIONS  (2015)

Improving IntSat by expressing disjunctions of bounds as linear constraints

Asin R; Bezem M.; Nieuwenhuis R.

Más información

Título según WOS: Improving IntSat by expressing disjunctions of bounds as linear constraints
Título según SCOPUS: Improving IntSat by expressing disjunctions of bounds as linear constraints
Título de la Revista: AI COMMUNICATIONS
Volumen: 29
Número: 1
Editorial: IOS Press
Fecha de publicación: 2015
Página de inicio: 205
Página final: 209
Idioma: English
DOI:

10.3233/AIC-150684
Notas: ISI, SCOPUS