Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1109.2142
Cited By
Generalizing Boolean Satisfiability III: Implementation
9 September 2011
Heidi E. Dixon
M. Ginsberg
David K. Hofer
E. Luks
Andrew J. Parkes
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Generalizing Boolean Satisfiability III: Implementation"
2 / 2 papers shown
Generalizing Boolean Satisfiability II: Theory
Heidi E. Dixon
M. Ginsberg
E. Luks
Andrew J. Parkes
177
27
0
09 Sep 2011
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work
Journal of Artificial Intelligence Research (JAIR), 2011
Heidi E. Dixon
M. Ginsberg
Andrew J. Parkes
AI4CE
176
59
0
30 Jun 2011
1
Page 1 of 1
