Backtrack search with isomorph rejection and consistency check

DOI10.1016/S0747-7171(89)80029-XzbMath0684.68081MaRDI QIDQ1825676

Larry Thiel, Clement Wing Hong Lam

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

program correctnesscombinatorial objectsisomorph rejectionexhaustive backtrack

Mathematics Subject Classification ID

Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60) Enumerative combinatorics (05A99)

Related Items (6)

The maximum number of columns in E(s2) $\,E({s}^{2})$‐optimal supersaturated designs with 16 rows and smax=4 ${s}_{{\rm{\max }}}=4$ is 60 ⋮ On the number of 8\(\times 8\) Latin squares ⋮ How reliable is a computer-based proof? ⋮ A computer search for finite projective planes of order 9 ⋮ Bounds on the number of affine, symmetric, and Hadamard designs and matrices ⋮ Balanced \(6\times 6\) designs for 4 equally replicated treatments

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The nonexistence of code words of weight 16 in a projective plane of order 10
• A general backtrack algorithm for the isomorphism problem of combinatorial objects
• Backtrack Programming
• The nonexistence of ovals in a projective plane of order 10

This page was built for publication: Backtrack search with isomorph rejection and consistency check