Charles Friden, Alain Hertz, Dominique de Werra. Tabaris: An exact algorithm based on tabu search for finding a maximum independent set in a graph. Computers & OR, 17(5):437-445, 1990. [doi]
@article{FridenHW90, title = {Tabaris: An exact algorithm based on tabu search for finding a maximum independent set in a graph}, author = {Charles Friden and Alain Hertz and Dominique de Werra}, year = {1990}, doi = {10.1016/0305-0548(90)90048-C}, url = {http://dx.doi.org/10.1016/0305-0548(90)90048-C}, tags = {rule-based, graph-rewriting, rewriting, search}, researchr = {https://researchr.org/publication/FridenHW90}, cites = {0}, citedby = {0}, journal = {Computers & OR}, volume = {17}, number = {5}, pages = {437-445}, }