Resolution and binary decision diagrams cannot simulate each other polynomially

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

27 Citations (Scopus)

2 Downloads (Pure)

Original language	English
Pages (from-to)	157-171
Journal	Discrete Applied Mathematics
Volume	130
Issue number	2
DOIs	https://doi.org/10.1016/S0166-218X(02)00403-1
Publication status	Published - 2003

Access to Document

@article{8fafe40d2bdd47fb827e379c49aa5417,

title = "Resolution and binary decision diagrams cannot simulate each other polynomially",

author = "J.F. Groote and H. Zantema",

year = "2003",

doi = "10.1016/S0166-218X(02)00403-1",

language = "English",

volume = "130",

pages = "157--171",

journal = "Discrete Applied Mathematics",

issn = "0166-218X",

publisher = "Elsevier B.V.",

number = "2",

}