1984
Bounded tiling, an alternative to satisfiability?
Publication
Publication
Presented at the
Frege Conference, Schwerin
Additional Metadata | |
---|---|
, , | |
Mathematical Research | |
Frege Conference | |
Savelsbergh, M. W. P., & van Emde Boas, P. (1984). Bounded tiling, an alternative to satisfiability?. In Proceedings of the Frege Conference 1984 (pp. 354–363). |