Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Producció científica

1 a 1 de 1 resultats
 
  • Improving IntSat by expressing disjunctions of bounds as linear constraints

     Asín, R.J.; Aloysius, M.; Nieuwenhuis, R.
    AI communications: the european journal of artificial intelligence
    Vol. 29, num. 1, p. 205-209
    DOI: 10.3233/AIC-150684
    Data de publicació: 2016
    Article en revista