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

H van Maaren, JP Warners

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	273-283
Number of pages	11
Journal	Annals of Mathematics and Artificial Intelligence
Volume	37
Publication status	Published - 2003

Keywords

@article{b86f280c436d4662ba55c26e4027099a,

title = "Solving satisfiability problems using elliptic approximations. A note on volumes and weights",

keywords = "Wiskunde en Informatica, Techniek, technische Wiskunde en Informatica, ZX CWTS JFIS < 1.00",

author = "{van Maaren}, H and JP Warners",

year = "2003",

language = "Undefined/Unknown",

volume = "37",

pages = "273--283",

journal = "Annals of Mathematics and Artificial Intelligence",

issn = "1012-2443",

publisher = "Springer",

}

TY - JOUR

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

AU - van Maaren, H

AU - Warners, JP

PY - 2003

Y1 - 2003

KW - Wiskunde en Informatica

KW - Techniek

KW - technische Wiskunde en Informatica

KW - ZX CWTS JFIS < 1.00

M3 - Article

SN - 1012-2443

VL - 37

SP - 273

EP - 283

JO - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

ER -