Sciweavers

Share
26 search results - page 6 / 6
» sat 2011
Sort
View
LOGCOM
2011
7 years 10 months ago
Introducing Preferences in Planning as Satisfiability
Planning as Satis´Čüability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...
Enrico Giunchiglia, Marco Maratea
books