{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:30:41Z","timestamp":1729657841922,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,7]],"date-time":"2021-09-07T00:00:00Z","timestamp":1630972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,7]],"date-time":"2021-09-07T00:00:00Z","timestamp":1630972800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,7]],"date-time":"2021-09-07T00:00:00Z","timestamp":1630972800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,7]]},"DOI":"10.1109\/etfa45728.2021.9613254","type":"proceedings-article","created":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:13:36Z","timestamp":1638317616000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Evaluation of high level methods for efficient planning as satisfiability"],"prefix":"10.1109","author":[{"given":"Endre","family":"Eros","sequence":"first","affiliation":[]},{"given":"Martin","family":"Dahl","sequence":"additional","affiliation":[]},{"given":"Petter","family":"Falkman","sequence":"additional","affiliation":[]},{"given":"Kristofer","family":"Bengtsson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1240"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v33i1.2392"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v36i3.2571"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1609\/icaps.v27i1.13798","article-title":"Accelerating sat based planning with incremental sat solving","author":"gocht","year":"2017","journal-title":"ICAPS"},{"key":"ref14","article-title":"An iterative algorithm for synthesizing invariants","author":"rintanen","year":"2000","journal-title":"AAAI\/IAAI"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-50497-0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1147\/rd.254.0327"},{"key":"ref18","first-page":"682","article-title":"Evaluation strategies for planning as satisfiability","author":"rintanen","year":"2004","journal-title":"Proceedings of the 16th European Conference on Artificial Intelligence ser ECAI’ 04"},{"key":"ref19","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref4","first-page":"1","article-title":"A comprehensive study and analysis on sat-solvers: advances, usages and achievements","author":"alouneh","year":"2018","journal-title":"Artificial Intelligence Review"},{"key":"ref3","article-title":"Search methods for classical and temporal planning","volume":"21","author":"rintanen","year":"0","journal-title":"Tutorials of the 21th European Conference on Artificial Intelligence (ECAI 2014)"},{"journal-title":"Smt techniques for planning problems","year":"2018","author":"arxer","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.08.001"},{"key":"ref8","first-page":"35","article-title":"The 1998 ai planning systems competition","volume":"21","author":"mcdermott","year":"2000","journal-title":"AI Magazine"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-22999-3_58"},{"key":"ref2","first-page":"359","article-title":"Planning as satisfiability","author":"kautz","year":"1992","journal-title":"Proceedings of the 10th European Conference on Artificial Intelligence ser ECAI ‘92"},{"key":"ref9","first-page":"47","article-title":"Aips 2000 planning competition: The fifth international conference on artificial intelligence planning and scheduling systems","volume":"22","author":"bacchus","year":"2001","journal-title":"AI Magazine"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2006.08.002"},{"key":"ref22","first-page":"531","author":"schreiber","year":"2019","journal-title":"Efficient sat encodings for hierarchical planning"},{"key":"ref21","first-page":"416","author":"eros","year":"2020","journal-title":"Towards compositional automated planning"},{"key":"ref24","first-page":"2318","article-title":"The effect of restarts on the efficiency of clause learning","author":"huang","year":"2007","journal-title":"Proceedings of the 20th International Joint Conference on Artifical Intelligence ser IJCAI’ 07"},{"key":"ref23","first-page":"414","volume":"6308","author":"rintanen","year":"2010","journal-title":"Heuristics for planning with sat"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"}],"event":{"name":"2021 IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2021,9,7]]},"location":"Vasteras, Sweden","end":{"date-parts":[[2021,9,10]]}},"container-title":["2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9613137\/9613141\/09613254.pdf?arnumber=9613254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,16]],"date-time":"2023-01-16T20:07:56Z","timestamp":1673899676000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9613254\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,7]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/etfa45728.2021.9613254","relation":{},"subject":[],"published":{"date-parts":[[2021,9,7]]}}}