Skip to content

Exponential Improvement of Efficient Backtracking: data Structure and Implementation.

Stan Matwin, Tomasz Pietrzykowski

VenueACADE
Year1982
ProceedingsCADE

Browse the full CADE paper archive.