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. - ELETTRONICO. - (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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
