On the Boolean connectivity problem for Horn relations (2007)

Cached

Download Links

by Kazuhisa Makino , Suguru Tamaki , Masaki Yamamoto
Venue:IN PROC. 10 TH INTL. CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT), 2007
Citations:2 - 0 self