Detecting and Breaking Symmetries by Reasoning on Problem Specifications

@inproceedings{Mancini2005DetectingAB,
  title={Detecting and Breaking Symmetries by Reasoning on Problem Specifications},
  author={Toni Mancini and Marco Cadoli},
  booktitle={SARA},
  year={2005}
}

Citations

Publications citing this paper.
Showing 1-10 of 20 extracted citations

Similar Papers

Loading similar papers…