John Gaschnig. A General Backtrack Algorithm That Eliminates Most Redundant Tests. In IJCAI. pages 457, 1977.
@inproceedings{Gaschnig77a, title = {A General Backtrack Algorithm That Eliminates Most Redundant Tests}, author = {John Gaschnig}, year = {1977}, tags = {testing}, researchr = {https://researchr.org/publication/Gaschnig77a}, cites = {0}, citedby = {0}, pages = {457}, booktitle = {IJCAI}, }