Blackbox planning system
From Wikipedia, the free encyclopedia
In artificial intelligence and automated planning and scheduling, the Blackbox planning system is a planning system which unites SAT-based and Graph-based planning. It was developed by Henry Kautz and Bart Selman.
|This artificial intelligence-related article is a stub. You can help Wikipedia by expanding it.|