Optimal satisfiability for propositional calculi and constraint satisfaction problems

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

Access to Document

@article{5c2e1a35ad844f33b0c612fc55a6c1b5,

title = "Optimal satisfiability for propositional calculi and constraint satisfaction problems",

author = "Steffen Reith and Heribert Vollmer",

year = "2003",

doi = "10.1016/S0890-5401(03)00092-0",

language = "English",

volume = "186",

pages = "1--19",

journal = "Inf. Comput.",

issn = "1090-2651",

publisher = "Elsevier Inc.",

number = "1",

}