Inproceedings,

Steiner systems and the Boolean satisfiability problem.

.
SAC, page 277-281. ACM, (1996)

Meta data

Tags

Users

  • @dblp

Comments and Reviews