Search algorithms in type theory (2000)

by James L. Caldwell , Ian P. Gent , Judith Underwood
Citations:10 - 3 self