@Inproceedings{EPTCS306.35,
  author    = {Liu, Liu and Truszczynski, Miroslaw},
  year      = {2019},
  title     = {Encoding Selection for Solving Hamiltonian Cycle Problems with ASP},
  editor    = {Bogaerts, Bart and Erdem, Esra and Fodor, Paul and Formisano, Andrea and Ianni, Giovambattista and Inclezan, Daniela and Vidal, German and Villanueva, Alicia and Vos, Marina De and Yang, Fangkai},
  booktitle = {{\rm Proceedings 35th International Conference on}
               Logic Programming {\rm (Technical Communications)} ,
               {\rm Las Cruces, NM, USA, September 20-25, 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {306},
  publisher = {Open Publishing Association},
  pages     = {302-308},
  doi       = {10.4204/EPTCS.306.35},
}