Home Biblio

sub-SAT: A Formulation for Relaxed Boolean Satisfiability with Applications in Routing

Research Area: Uncategorized Year: 2002
Type of Publication: In Proceedings
Authors:
  • Xu, H.
  • Rutenbar, R. A.
  • Sakallah, K.
Book title: Proc. Int. Symp. on Physical Design
Address: San Diego (CA)
Month: April
BibTex:
[Bibtex] [RIS] [MODS]
English (United Kingdom)