@article{sacscuza:frasinaru2007btfcaecs,
  title={Basic Techniques for Creating an Efficient CSP Solver},
  author={C. Fr{\u a}sinaru},
  journal={Scientific Annals of Computer Science},
  number={17},
  organization={``A.I. Cuza'' University, Ia\c si, Rom\^ania},
  year={2007},
  pages={83--112},
  publisher={``A.I. Cuza'' University Press, Ia\c si}
}