Solving satisfiability problems using elliptic approximations. A note on volumes and weights

Journal Article (2003)

Author(s)

H. van Maaren (TU Delft - Old - EWI Ch. Optimization Technology)

JP Warners (TU Delft - Old - EWI Ch. Optimization Technology)

Research Group

Old - EWI Ch. Optimization Technology

Techniek ZX CWTS JFIS < 1.00 Wiskunde en Informatica Technische Wiskunde en Informatica

To reference this document use:

More Info

expand_more

Publication Year

2003

Research Group

Old - EWI Ch. Optimization Technology

Volume number

37

Pages (from-to)

273-283

No files available

Metadata only record. There are no files for this record.