@InProceedings{,
 author = {S. Kryvyy, L. Matveeva, W. Grzywacz},
 booktitle = {Information Theories and Applications},
 title = {Automata--based method for solving systems of linear constraints in {0,1}},
 year = {2005},
 volume = {10}
 }