Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
On (maximal, tractable) fragments of the branching algebra 2020 Bertagnon, Alessandro; Gavanelli, Marco; Sciavicco, Guido; Trevisani, Stefano
MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments 2020 Bertagnon, Alessandro; Gavanelli, Marco
The horn fragment of branching algebra 2020 Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Ste...fano
Constraint programming algorithms for route planning exploiting geometrical information 2020 Bertagnon, A.
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints 2020 Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R.
Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) 2020 Bertagnon, Alessandro; Gavanelli, Marco
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints 2021 Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco; Zese, Riccardo
Branching interval algebra: An almost complete picture 2021 Bertagnon, A.; Gavanelli, M.; Passantino, A.; Sciavicco, G.; Trevisani, S.
Improving Reasoning in Constraint Logic Programming: an Application to Route Planning and Qualitative Temporal Reasoning Problems 2022 Bertagnon, Alessandro
Mostrati risultati da 1 a 9 di 9
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile