Optimization of Partial-Order Plans via MaxSAT. Muise, C., McIlratih, S. A., & Beck, J. C. In Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'11), 2011. Paper bibtex @inproceedings{muise2011optimally,
title={{Optimization of Partial-Order Plans via MaxSAT}},
author={Muise, Christian and McIlratih, Sheila A. and Beck, J. Christopher},
booktitle={Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'11)},
year={2011},
keywords = {sat,plan optimization},
url={http://www.haz.ca/papers/coplas-muise-11.pdf}
}
Downloads: 0
{"_id":"5YzLCZYsL3FJeFDL6","bibbaseid":"muise-mcilratih-beck-optimizationofpartialorderplansviamaxsat-2011","downloads":0,"creationDate":"2015-12-21T17:45:09.517Z","title":"Optimization of Partial-Order Plans via MaxSAT","author_short":["Muise, C.","McIlratih, S. A.","Beck, J. C."],"year":2011,"bibtype":"inproceedings","biburl":"www.haz.ca/publications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Optimization of Partial-Order Plans via MaxSAT","author":[{"propositions":[],"lastnames":["Muise"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["McIlratih"],"firstnames":["Sheila","A."],"suffixes":[]},{"propositions":[],"lastnames":["Beck"],"firstnames":["J.","Christopher"],"suffixes":[]}],"booktitle":"Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'11)","year":"2011","keywords":"sat,plan optimization","url":"http://www.haz.ca/papers/coplas-muise-11.pdf","bibtex":"@inproceedings{muise2011optimally,\n title={{Optimization of Partial-Order Plans via MaxSAT}},\n author={Muise, Christian and McIlratih, Sheila A. and Beck, J. Christopher},\n booktitle={Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'11)},\n year={2011},\n keywords = {sat,plan optimization},\n url={http://www.haz.ca/papers/coplas-muise-11.pdf}\n}\n\n","author_short":["Muise, C.","McIlratih, S. A.","Beck, J. C."],"key":"muise2011optimally","id":"muise2011optimally","bibbaseid":"muise-mcilratih-beck-optimizationofpartialorderplansviamaxsat-2011","role":"author","urls":{"Paper":"http://www.haz.ca/papers/coplas-muise-11.pdf"},"keyword":["sat","plan optimization"],"metadata":{"authorlinks":{"muise, c":"https://haz.ca/academic-publications.html"}},"downloads":0},"search_terms":["optimization","partial","order","plans","via","maxsat","muise","mcilratih","beck"],"keywords":["sat","plan optimization"],"authorIDs":["f4LpZ8LcDrvDyGuip"],"dataSources":["2LLKDfkxMDdABm58M","DprwGzu9heN5GXy3u","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}