Satisfiability of the Smallest Binary Program

Philipp Hanschke, Jörg Würtz. Satisfiability of the Smallest Binary Program. Inf. Process. Lett., 45(5):237-241, 1993.

@article{HanschkeW93,
  title = {Satisfiability of the Smallest Binary Program},
  author = {Philipp Hanschke and Jörg Würtz},
  year = {1993},
  researchr = {https://researchr.org/publication/HanschkeW93},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {45},
  number = {5},
  pages = {237-241},
}