SATFC : SAT-based Feasibility Checker

Auctionomics, and
Department of Computer Science
The University of British Columbia

 
News   Abstract    People    Papers     Software   Data

News

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.
More News...

Abstract

SATFC is an algorithm based on propositional satisfiability (SAT) to solve the station repacking problem that arise in spectrum "incentive auctions".

People

Software

Papers