Satplan (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Satplan" in English language version.

refsWebsite

Global rank English rank

1indiaai.gov.in

low place

low place

1web.archive.org

1^st place

1^st place

1microkeeper.com.au

low place

low place

2^nd place

2^nd place

5^th place

5^th place

low place

low place

aalto.fi

users.aalto.fi

"Planning as Satisfiability: state of the art". users.aalto.fi. Retrieved 2025-02-19.

doi.org

Robinson, Nathan; Gretton, Charles (2009-10-16). "SAT-Based Parallel Planning Using a Split Representation of Actions". Proceedings of the International Conference on Automated Planning and Scheduling. 19: 281–288. doi:10.1609/icaps.v19i1.13368. ISSN 2334-0843.

indiaai.gov.in

Jeevanandam, Nivash (2023-11-16). "Understanding planning using logic in AI". IndiaAI. Retrieved 2025-02-19.

microkeeper.com.au

info.microkeeper.com.au

Kautz, Henry; Selman, Bart (August 1992). "Planning as Satisfiability". CiteSeerX. ECAI'92. Archived from the original on 2019-01-25.

web.archive.org

Kautz, Henry; Selman, Bart (August 1992). "Planning as Satisfiability". CiteSeerX. ECAI'92. Archived from the original on 2019-01-25.

worldcat.org

search.worldcat.org

Robinson, Nathan; Gretton, Charles (2009-10-16). "SAT-Based Parallel Planning Using a Split Representation of Actions". Proceedings of the International Conference on Automated Planning and Scheduling. 19: 281–288. doi:10.1609/icaps.v19i1.13368. ISSN 2334-0843.