Back to Results
First PageMeta Content
Operations research / Mathematical optimization / Logic in computer science / Job shop scheduling / Boolean satisfiability problem / A* search algorithm / Theoretical computer science / Mathematics / Applied mathematics


Partial Weighted MaxSAT for Optimal Planning Nathan Robinson† , Charles Gretton‡ , Duc Nghia Pham† , and Abdul Sattar† † ATOMIC Project, Queensland Research Lab, NICTA and Institute for Integrated and Intellige
Add to Reading List

Document Date: 2010-09-19 23:27:44

Open Document

File Size: 298,99 KB

Share Result on Facebook

Company

AMD / CNF / Russell / Strathclyde Planning Group / /

Country

Australia / /

Currency

pence / /

Event

FDA Phase / /

Facility

University of Birmingham Abstract / Griffith University / /

IndustryTerm

goal utilities / cost-optimal solution / breadth-first search / non-factored forward heuristic search / valid optimal solutions / /

MarketIndex

IPC / /

Organization

Griffith University / School of Computer Science / NICTA / Institute for Integrated and Intelligent Systems / University of Birmingham / Queensland Research Lab / /

Person

Abdul Sattar / Nathan Robinson / Ai / Charles Gretton / Duc Nghia Pham / /

Position

planner / /

Product

MaxSAT / /

ProvinceOrState

Queensland / /

Technology

RAM / 252 2.6GHz processors / SAT technology / /

SocialTag