Characterizing SAT Problems with the Row Convexity Property

@inproceedings{Bennaceur2002CharacterizingSP,
  title={Characterizing SAT Problems with the Row Convexity Property},
  author={Hachemi Bennaceur and Chu Min Li},
  booktitle={CP},
  year={2002}
}