Geodesic
Procedure di decisione combinate per la soddisfacibilità di vincoli
La Matematica nella società e nella cultura, Série 1, Tome 1 (2008) no. 2, pp. 315-318.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{RIUMI_2008_1_1_2_a30,
     author = {Nicolini, Enrica},
     title = {Procedure di decisione combinate per la soddisfacibilit\`a di vincoli},
     journal = {La Matematica nella societ\`a e nella cultura},
     pages = {315--318},
     publisher = {mathdoc},
     volume = {Ser. 1, 1},
     number = {2},
     year = {2008},
     zbl = {06744048},
     mrnumber = {2398570},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a30/}
}
TY  - JOUR
AU  - Nicolini, Enrica
TI  - Procedure di decisione combinate per la soddisfacibilità di vincoli
JO  - La Matematica nella società e nella cultura
PY  - 2008
SP  - 315
EP  - 318
VL  - 1
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a30/
LA  - it
ID  - RIUMI_2008_1_1_2_a30
ER  - 
%0 Journal Article
%A Nicolini, Enrica
%T Procedure di decisione combinate per la soddisfacibilità di vincoli
%J La Matematica nella società e nella cultura
%D 2008
%P 315-318
%V 1
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a30/
%G it
%F RIUMI_2008_1_1_2_a30
Nicolini, Enrica. Procedure di decisione combinate per la soddisfacibilità di vincoli. La Matematica nella società e nella cultura, Série 1, Tome 1 (2008) no. 2, pp. 315-318. http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a30/

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

[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. | DOI | MR | Zbl

[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. | DOI | MR | Zbl

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