Constraint solving in logic programming and in automated deduction: A comparison. Armando, A., Melis, E., & Ranise, S. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1480 LNAI:28-38, 1998.
Paper bibtex @ARTICLE{Armando199828,
author={Armando, A., Melis, E., Ranise, S.},
title={Constraint solving in logic programming and in automated deduction: A comparison},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={1998},
volume={1480 LNAI},
pages={28-38},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-79956106502&partnerID=40&md5=a8cafe1644841af1da1ca482fc07cf20},
document_type={Conference Paper},
source={Scopus},
}
Downloads: 0
{"_id":"5jMGuzPS6PkFqfrsr","bibbaseid":"armando-melis-ranise-constraintsolvinginlogicprogrammingandinautomateddeductionacomparison-1998","downloads":0,"creationDate":"2016-08-26T09:24:47.185Z","title":"Constraint solving in logic programming and in automated deduction: A comparison","author_short":["Armando, A.","Melis, E.","Ranise, S."],"year":1998,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Melis"],"firstnames":["E."],"suffixes":[]},{"propositions":[],"lastnames":["Ranise"],"firstnames":["S."],"suffixes":[]}],"title":"Constraint solving in logic programming and in automated deduction: A comparison","journal":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","year":"1998","volume":"1480 LNAI","pages":"28-38","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-79956106502&partnerID=40&md5=a8cafe1644841af1da1ca482fc07cf20","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando199828,\nauthor={Armando, A., Melis, E., Ranise, S.},\ntitle={Constraint solving in logic programming and in automated deduction: A comparison},\njournal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},\nyear={1998},\nvolume={1480 LNAI},\npages={28-38},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-79956106502&partnerID=40&md5=a8cafe1644841af1da1ca482fc07cf20},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Melis, E.","Ranise, S."],"key":"Armando199828","id":"Armando199828","bibbaseid":"armando-melis-ranise-constraintsolvinginlogicprogrammingandinautomateddeductionacomparison-1998","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-79956106502&partnerID=40&md5=a8cafe1644841af1da1ca482fc07cf20"},"downloads":0},"search_terms":["constraint","solving","logic","programming","automated","deduction","comparison","armando","melis","ranise"],"keywords":["dblp"],"authorIDs":[],"dataSources":["EQov9rEvkmMf5P4ah"]}