Login / Signup

Efficient Exact Spare Allocation via Boolean Satisfiability.

Fang YuChung-Hung TsaiYao-Wen HuangD. T. LeeHung-Yau LinSy-Yen Kuo
Published in: DFT (2005)
Keyphrases
  • multi agent
  • boolean satisfiability
  • evolutionary algorithm
  • special case
  • lower bound
  • sat solvers