SATFC : SAT-based Feasibility Checker
Auctionomics, and |
November, 2015. | The first paper describing SATFC to appear in the Thirtieth AAAI Conference On Artificial Intelligence. Conference will be held in Phoenix, Arizona, USA! |
April, 2015. | First version of this page. |
SATFC is an algorithm based on propositional satisfiability (SAT) to solve the station repacking problem that arise in spectrum "incentive auctions".