Guarantees and limits of preprocessing in constraint satisfaction and reasoning. Gaspers, S. & Szeider, S. Artif. Intell., 216:1--19, 2014. Paper doi bibtex @article{DBLP:journals/ai/GaspersS14,
author = {Serge Gaspers and
Stefan Szeider},
title = {Guarantees and limits of preprocessing in constraint satisfaction
and reasoning},
journal = {Artif. Intell.},
volume = {216},
pages = {1--19},
year = {2014},
url = {http://dx.doi.org/10.1016/j.artint.2014.06.006},
doi = {10.1016/j.artint.2014.06.006},
timestamp = {Mon, 21 Jul 2014 01:00:00 +0200},
biburl = {http://dblp.dagstuhl.de/rec/bib/journals/ai/GaspersS14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
Downloads: 0
{"_id":"NNq9bLw5RwgDN2q28","bibbaseid":"gaspers-szeider-guaranteesandlimitsofpreprocessinginconstraintsatisfactionandreasoning-2014","downloads":0,"creationDate":"2016-10-22T00:59:55.877Z","title":"Guarantees and limits of preprocessing in constraint satisfaction and reasoning","author_short":["Gaspers, S.","Szeider, S."],"year":2014,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/g/Gaspers:Serge","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Serge"],"propositions":[],"lastnames":["Gaspers"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Szeider"],"suffixes":[]}],"title":"Guarantees and limits of preprocessing in constraint satisfaction and reasoning","journal":"Artif. Intell.","volume":"216","pages":"1--19","year":"2014","url":"http://dx.doi.org/10.1016/j.artint.2014.06.006","doi":"10.1016/j.artint.2014.06.006","timestamp":"Mon, 21 Jul 2014 01:00:00 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/journals/ai/GaspersS14","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@article{DBLP:journals/ai/GaspersS14,\n author = {Serge Gaspers and\n Stefan Szeider},\n title = {Guarantees and limits of preprocessing in constraint satisfaction\n and reasoning},\n journal = {Artif. Intell.},\n volume = {216},\n pages = {1--19},\n year = {2014},\n url = {http://dx.doi.org/10.1016/j.artint.2014.06.006},\n doi = {10.1016/j.artint.2014.06.006},\n timestamp = {Mon, 21 Jul 2014 01:00:00 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/journals/ai/GaspersS14},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Gaspers, S.","Szeider, S."],"key":"DBLP:journals/ai/GaspersS14","id":"DBLP:journals/ai/GaspersS14","bibbaseid":"gaspers-szeider-guaranteesandlimitsofpreprocessinginconstraintsatisfactionandreasoning-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.artint.2014.06.006"},"downloads":0,"html":""},"search_terms":["guarantees","limits","preprocessing","constraint","satisfaction","reasoning","gaspers","szeider"],"keywords":[],"authorIDs":[],"dataSources":["7TArQCcqBvtscygA6"]}