@inproceedings{878d1a353f60426ba91c3bd980bbc9f4,
title = "Modelling more realistic SAT problems",
abstract = "The satisfiability problem is widely used in research on combinatorial search and for industrial applications such as verification and planning. Real world search problem benchmarks are not plentiful, yet understanding search algorithm behaviour in the real world domain is highly important. This work justifies and investigates a randomised satisfiability problem model with modular properties akin to those observed in real world search problem domains. The proposed problem model provides a reliable benchmark which highlights pitfalls and advantages with various satisfiability search algorithms.",
author = "Andrew Slater",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 15th Australian Joint Conference on Artificial Intelligence, AI 2002 ; Conference date: 02-12-2002 Through 06-12-2002",
year = "2002",
doi = "10.1007/3-540-36187-1_52",
language = "English",
isbn = "3540001972",
series = "Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)",
publisher = "Springer Verlag",
pages = "591--602",
editor = "Bob McKay and John Slaney",
booktitle = "AI 2002",
address = "Germany",
}