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

BibTex:
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


@conference{Xu02, author = "H. Xu and R. A. Rutenbar and K. Sakallah", address = "San Diego (CA)", booktitle = "Proc. Int. Symp. on Physical Design", month = "apr", title = "{S}ub-{SAT}: {A} {F}ormulation for {R}elaxed {B}oolean {S}atisfiability with {A}pplications in {R}outing", year = "2002", }
[Bibtex] [RIS] [MODS]

COST FUNCTION