A Tool for Checking the CSP sat Property

Jeremy M. R. Martin. A Tool for Checking the CSP sat Property. Comput. J., 43(1):13-23, 2000.

@article{Martin00:7,
  title = {A Tool for Checking the CSP sat Property},
  author = {Jeremy M. R. Martin},
  year = {2000},
  researchr = {https://researchr.org/publication/Martin00%3A7},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {43},
  number = {1},
  pages = {13-23},
}