Procedure di decisione combinate per la soddisfacibilità di vincoli
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana (2008)
- Volume: 1, Issue: 2, page 315-318
- ISSN: 1972-7356
Access Full Article
top
How to cite
topNicolini, Enrica. "Procedure di decisione combinate per la soddisfacibilità di vincoli." La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana 1.2 (2008): 315-318. <http://eudml.org/doc/290526>.
@article{Nicolini2008,
author = {Nicolini, Enrica},
journal = {La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana},
language = {ita},
month = {8},
number = {2},
pages = {315-318},
publisher = {Unione Matematica Italiana},
title = {Procedure di decisione combinate per la soddisfacibilità di vincoli},
url = {http://eudml.org/doc/290526},
volume = {1},
year = {2008},
}
TY - JOUR
AU - Nicolini, Enrica
TI - Procedure di decisione combinate per la soddisfacibilità di vincoli
JO - La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana
DA - 2008/8//
PB - Unione Matematica Italiana
VL - 1
IS - 2
SP - 315
EP - 318
LA - ita
UR - http://eudml.org/doc/290526
ER -
References
top- GHILARDI, S., NICOLINI, E. and ZUCCHELLI, D., A Comprehensive Combination Framework, ACM Transactions on Computational Logic (2006), (to appear). Zbl06744048MR2398570DOI10.1145/1342991.1342992
- 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. Zbl1125.68115MR2361490DOI10.1007/s10472-007-9078-x
- 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. Zbl1222.03011MR2361345DOI10.1007/11814771_42
- GHILARDI, S., Model Theoretic Methods in Combined Constraint Satisfiability, Journal of Automated Reasoning, 33 (2004), 221-249. Zbl1069.03008MR2137984DOI10.1007/s10817-004-6241-5
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.