@inproceedings{alcazar2011,

  author = {Vidal Alc\'azar and Manuela Veloso},

  title = {A {SAT} Compilation of the Landmark Graph },

  booktitle = {Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS)},

  key = {Planning-Learning},

  year = {2011},

  pages = {47-54}

}

{"_id":{"_str":"534288a50e946d920a001d24"},"__v":2,"authorIDs":[],"author_short":["Alcázar, V.","Veloso, M."],"bibbaseid":"alczar-veloso-asatcompilationofthelandmarkgraph-2011","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vidal"],"propositions":[],"lastnames":["Alcázar"],"suffixes":[]},{"firstnames":["Manuela"],"propositions":[],"lastnames":["Veloso"],"suffixes":[]}],"title":"A SAT Compilation of the Landmark Graph ","booktitle":"Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS)","key":"alcazar2011","year":"2011","pages":"47-54","bibtex":"@inproceedings{alcazar2011,\n\n author = {Vidal Alc\\'azar and Manuela Veloso},\n\n title = {A {SAT} Compilation of the Landmark Graph },\n\n booktitle = {Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS)},\n\n key = {Planning-Learning},\n\n year = {2011},\n\n pages = {47-54}\n\n}\n\n\n\n","author_short":["Alcázar, V.","Veloso, M."],"id":"alcazar2011","bibbaseid":"alczar-veloso-asatcompilationofthelandmarkgraph-2011","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.plg.inf.uc3m.es/bib/publistplg.bib","downloads":0,"keywords":[],"search_terms":["sat","compilation","landmark","graph","alcázar","veloso"],"title":"A SAT Compilation of the Landmark Graph ","year":2011,"dataSources":["6rjpjXD4NNhQBc3tX","eeebSGk8rTW4cn9yN"]}