Lazy Satisability Modulo Theories - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Roberto Sebastiani. Lazy Satisability Modulo Theories. JSAT, 3(3-4):141-224, 2007. [doi]

@article{Sebastiani07:0,
  title = {Lazy Satisability Modulo Theories},
  author = {Roberto Sebastiani},
  year = {2007},
  url = {http://jsat.ewi.tudelft.nl/content/volume3/JSAT3_9_Sebastiani.pdf},
  tags = {laziness},
  researchr = {https://researchr.org/publication/Sebastiani07%3A0},
  cites = {0},
  citedby = {0},
  journal = {JSAT},
  volume = {3},
  number = {3-4},
  pages = {141-224},
}

runs on WebDSL