Un risolutore di problemi combinatori e di ottimizzazione modellati nel linguaggio ConSQL (dello stesso autore) con istanze memorizzate in basi di dati relazionali. La risoluzione avviene mediante tecniche di ricerca locale. Il sistema si affida ad un DBMS relazionale per la verifica dei vincoli e la valutazione delle mosse. I vantaggi dell'approccio sono descritti negli articoli: - Marco Cadoli and Toni Mancini. Combining Relational Algebra, sql, Constraint Modelling, and local search. Theory and Practice of Logic Programming, 7(1):1–29, 2006 - Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson. Constrained Optimi- zation Over Massive Databases. In Marco Gavanelli and Toni Mancini, editors, Proceedings of the Sixteenth RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2009), volume 589 of CEUR Workshop Proceedings, Reggio Emilia, Italy, 2009. CEUR-WS.org. - Toni Mancini, Pierre Flener, Justin Pearson. Local Search over Relational Databases In proceedings of the 7th Workshop on Local Search techniques in Constraint Satisfaction (LSCS 2010), held at the 16th International Conference on Principles and Practice of Constraint Programming (CP 2010). St Andrews, Scotland (UK), 2010.

ConSQL simulator

MANCINI, Toni
2010

Abstract

Un risolutore di problemi combinatori e di ottimizzazione modellati nel linguaggio ConSQL (dello stesso autore) con istanze memorizzate in basi di dati relazionali. La risoluzione avviene mediante tecniche di ricerca locale. Il sistema si affida ad un DBMS relazionale per la verifica dei vincoli e la valutazione delle mosse. I vantaggi dell'approccio sono descritti negli articoli: - Marco Cadoli and Toni Mancini. Combining Relational Algebra, sql, Constraint Modelling, and local search. Theory and Practice of Logic Programming, 7(1):1–29, 2006 - Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson. Constrained Optimi- zation Over Massive Databases. In Marco Gavanelli and Toni Mancini, editors, Proceedings of the Sixteenth RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2009), volume 589 of CEUR Workshop Proceedings, Reggio Emilia, Italy, 2009. CEUR-WS.org. - Toni Mancini, Pierre Flener, Justin Pearson. Local Search over Relational Databases In proceedings of the 7th Workshop on Local Search techniques in Constraint Satisfaction (LSCS 2010), held at the 16th International Conference on Principles and Practice of Constraint Programming (CP 2010). St Andrews, Scotland (UK), 2010.
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11573/421606
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact