SATFC : SAT-based Feasibility Checker
|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".