A Direct Encoding for NNC Polyhedra

@inproceedings{Becchi2018ADE,
  title={A Direct Encoding for NNC Polyhedra},
  author={Anna Becchi and Enea Zaffanella},
  booktitle={CAV},
  year={2018}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…