Open AccessPlanning with Specialized SAT Solvers
Author(s) -
Jussi Rintanen
Publication year - 2011
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v25i1.7962
Subject(s) - heuristics , computer science , representation (politics) , space (punctuation) , artificial intelligence , state space , knowledge representation and reasoning , theoretical computer science , state (computer science) , simple (philosophy) , search problem , machine learning , mathematics , algorithm , epistemology , philosophy , statistics , politics , political science , law , operating system