A new set of algebraic benchmark problems for SAT solvers

A Meier, Volker Sorge, F Bacchus, T Walsh

Research output: Contribution to conference (unpublished) › Paper

4 Citations (Scopus)

Original language	English
Pages	459-466
Number of pages	8
Publication status	Published - 1 Jan 2005
Event	Theory and Applications of Satisfiability Testing: 8th International Conference (SAT 2005) - Duration: 1 Jan 2005 → …

Conference	Theory and Applications of Satisfiability Testing: 8th International Conference (SAT 2005)
Period	1/01/05 → …

Cite this

@conference{dc12a6941f204dd885fa76fd25692822,

title = "A new set of algebraic benchmark problems for SAT solvers",

author = "A Meier and Volker Sorge and F Bacchus and T Walsh",

year = "2005",

month = jan,

day = "1",

language = "English",

pages = "459--466",

note = "Theory and Applications of Satisfiability Testing: 8th International Conference (SAT 2005) ; Conference date: 01-01-2005",

}