tts: A SAT-Solver for Small, Difficult Instances - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ivor Spence. tts: A SAT-Solver for Small, Difficult Instances. JSAT, 4(2-4):173-190, 2008. [doi]

@article{Spence08-0,
  title = {tts: A SAT-Solver for Small, Difficult Instances},
  author = {Ivor Spence},
  year = {2008},
  url = {http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_9_Spence.pdf},
  researchr = {https://researchr.org/publication/Spence08-0},
  cites = {0},
  citedby = {0},
  journal = {JSAT},
  volume = {4},
  number = {2-4},
  pages = {173-190},
}

runs on WebDSL