bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Mat. Soc. Cult. Riv. Unione Mat. Ital., Serie 1 -> Vol. 1 (2008), n. 2 -> pp. 315-318

Referenza completa

Nicolini, Enrica:
Procedure di decisione combinate per la soddisfacibilità di vincoli
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana Serie 1 1 (2008), fasc. n.2 —Fascicolo Tesi di Dottorato, p. 315-318, (Italian)
pdf (229 Kb), djvu (54 Kb).

Referenze Bibliografiche
[1] GHILARDI S., NICOLINI E. and ZUCCHELLI D., A Comprehensive Combination Framework, ACM Transactions on Computational Logic (2006), (to appear). | fulltext (doi) | 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. | fulltext (doi) | 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. | fulltext (doi) | MR 2361345 | Zbl 1222.03011
[4] GHILARDI S., Model Theoretic Methods in Combined Constraint Satisfiability, Journal of Automated Reasoning, 33 (2004), 221-249. | fulltext (doi) | MR 2137984 | Zbl 1069.03008
Home -> Mat. Soc. Cult. Riv. Unione Mat. Ital., Serie 1 -> Vol. 1 (2008), n. 2 -> pp. 315-318

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali