A two-phase algorithm for solving a class of hard satisfiability problems [niet eerder opgevoerd]

JP Warners, H van Maaren

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

Original language	Undefined/Unknown
Pages (from-to)	81-88
Number of pages	8
Journal	Operations Research Letters
Volume	23
Publication status	Published - 1998

Keywords

@article{d0e0ba54272b4310a105ba2524851233,

title = "A two-phase algorithm for solving a class of hard satisfiability problems [niet eerder opgevoerd]",

keywords = "ZX Int.klas.verslagjaar < 2002",

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

year = "1998",

language = "Undefined/Unknown",

volume = "23",

pages = "81--88",

journal = "Operations Research Letters",

issn = "0167-6377",

publisher = "Elsevier",

}