New algorithms for dependency-directed backtracking

Bibliographische Detailangaben

1. Verfasser:	Petrie, C. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1986
Schriftenreihe:	Reports / TEXAS UNIV AUSTIN AI TR86-33
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!