Segmented channel routability via satisfiability.
William N. N. HungXiaoyu SongEl Mostapha AboulhamidAndrew A. KenningsAlan J. CoppolaPublished in: ACM Trans. Design Autom. Electr. Syst. (2004)
Keyphrases
- satisfiability problem
- multiple access
- multi channel
- np complete
- computational complexity
- propositional logic
- computational properties
- quantified boolean formulas
- phase transition
- antenna array
- segmented images
- channel coding
- noisy channel
- terminological reasoning
- real time
- satisfiability testing
- segmenting images
- reasoning problems
- communication channels
- first order logic
- learning algorithm