Backtrack search with isomorph rejection and consistency check
type: Item
instance of: scholarly article
title: Backtrack search with isomorph rejection and consistency check
zbMATH Open document ID: 0684.68081
DOI: 10.1016/S0747-7171(89)80029-X
published in: Journal of Symbolic Computation
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P10
Mathematics Subject Classification ID: 05A99
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 4121458
zbMATH Keywords: program correctness
zbMATH Keywords: isomorph rejection
zbMATH Keywords: exhaustive backtrack
zbMATH Keywords: combinatorial objects
author: Clement Lam
author: L. H. Thiel
MaRDI profile type: Publication
cites work: A general backtrack algorithm for the isomorphism problem of combinatorial objects
cites work: Backtrack Programming
cites work: Q3253828
cites work: The nonexistence of ovals in a projective plane of order 10
cites work: The nonexistence of code words of weight 16 in a projective plane of order 10
cites work: Q4144192
cites work: Q3274163
cites work: Q3274167
description: scientific article; zbMATH DE number 4121458