Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Asín Acha, Roberto Javier

Total activitats: 8
Departament
Departament de Ciències de la Computació
Correu electrònic
rasinlsi.upc.edu
Dades de contacte
Directori de la UPC Obrir en finestra nova
Completa les teves dades

Producció científica

1 a 8 de 8 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
  • Curriculum-based course timetabling with SAT and MaxSAT

     Asín, R.J.; Nieuwenhuis, R.
    Annals of operations research
    Vol. 218, num. 1, p. 71-91
    DOI: 10.1007/s10479-012-1081-x
    Data de publicació: 2014-07-01
    Article en revista
  • Cardinality Networks: a Theoretical and Empirical Study

     Asín, R.J.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
    Constraints
    Vol. 16, num. 2, p. 195-221
    DOI: 10.1007/s10601-010-9105-0
    Data de publicació: 2011-04
    Article en revista
  • Sweetlogics-UPC

     Rubio, A.; Valles, B.; Rivero, J.; Godoy, G.; Messeguer, X.; Asín, R.J.; Oliveira, A.; Abío, I.; Nivela, M.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.; Larraz, D.; Rollon, E.; Larrosa, J.
    Projecte R+D+I competitiu
  • SAT-BASED TECHNIQUES FOR COMBINATORIAL OPTIMIZATION

     Asín, R.J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Practical algorithms for unsatisfiability proof and core generation in SAT solvers

     Asín, R.J.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
    AI communications: the european journal of artificial intelligence
    Vol. 23, num. 2-3, p. 145-157
    DOI: 10.3233/AIC-2010-0462
    Data de publicació: 2010
    Article en revista
  • Cardinality networks and their applications

     Asín, R.J.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 167-180
    DOI: 10.1007/978-3-642-02777-2_18
    Data de presentació: 2009-06-30
    Presentació treball a congrés
  • Reducción de problemas de generación de horarios a SAT  Accés obert

     Asín, R.J.
    Data: 2008-06
    Document cientificotècnic
    Accés al text complet