Procedure di decisione combinate per la soddisfacibilità di vincoli
Nicolini, Enrica
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 1 (2008), p. 315-318 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)
Publié le : 2008-08-01
@article{RIUMI_2008_1_1_2_315_0,
     author = {Enrica Nicolini},
     title = {Procedure di decisione combinate per la soddisfacibilit\`a di vincoli},
     journal = {La Matematica nella Societ\`a e nella Cultura. Rivista dell'Unione Matematica Italiana},
     volume = {1},
     year = {2008},
     pages = {315-318},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RIUMI_2008_1_1_2_315_0}
}

Nicolini, Enrica. Procedure di decisione combinate per la soddisfacibilità di vincoli. La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 1 (2008) pp. 315-318. http://gdmltest.u-ga.fr/item/RIUMI_2008_1_1_2_315_0/

[1] Ghilardi, S., Nicolini, E. and Zucchelli, D., A Comprehensive Combination Framework, ACM Transactions on Computational Logic (2006), (to appear). | MR 2398570 | Zbl 06744048

[2] Ghilardi, S., Nicolini, E., Ranise, S. and Zucchelli, D., Decision Procedures for Extensions of the Theory of Arrays, Annals of Mathematics and Artificial Intelligence, 50 (2007), 231-254. | MR 2361490 | Zbl 1125.68115

[3] Bonacina, M.P., Ghilardi, S., Nicolini, E., Ranise, S. and Zucchelli, D., Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures, Proc. of the 3rd International Joint Conference on Automated Reasoning, Springer LNCS, 4130 (2006), 513-537. | MR 2361345 | Zbl 1222.03011

[4] Ghilardi, S., Model Theoretic Methods in Combined Constraint Satisfiability, Journal of Automated Reasoning, 33 (2004), 221-249. | MR 2137984 | Zbl 1069.03008