A General Backtrack Algorithm That Eliminates Most Redundant Tests.

John Gaschnig

Browse the full IJCAI paper archive.