Contrasat - A Contrarian SAT Solver - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Allen Van Gelder. Contrasat - A Contrarian SAT Solver. JSAT, 8(1/2):117-122, 2012. [doi]

@article{Gelder12-1,
  title = {Contrasat - A Contrarian SAT Solver},
  author = {Allen Van Gelder},
  year = {2012},
  url = {http://jsat.ewi.tudelft.nl/content/volume8/JSAT8_8_VanGelder.pdf},
  researchr = {https://researchr.org/publication/Gelder12-1},
  cites = {0},
  citedby = {0},
  journal = {JSAT},
  volume = {8},
  number = {1/2},
  pages = {117-122},
}

runs on WebDSL