Applying GSAT to Non-Clausal Formulas (Research Note)

Cite

Text

Sebastiani. "Applying GSAT to Non-Clausal Formulas (Research Note)." Journal of Artificial Intelligence Research, 1994. doi:10.1613/JAIR.49

Markdown

[Sebastiani. "Applying GSAT to Non-Clausal Formulas (Research Note)." Journal of Artificial Intelligence Research, 1994.](https://mlanthology.org/jair/1994/sebastiani1994jair-applying/) doi:10.1613/JAIR.49

BibTeX

@article{sebastiani1994jair-applying,
  title     = {{Applying GSAT to Non-Clausal Formulas (Research Note)}},
  author    = {Sebastiani, Roberto},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {1994},
  pages     = {309-314},
  doi       = {10.1613/JAIR.49},
  volume    = {1},
  url       = {https://mlanthology.org/jair/1994/sebastiani1994jair-applying/}
}