Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism (Q5406228)
From MaRDI portal
scientific article; zbMATH DE number 6276681
Language | Label | Description | Also known as |
---|---|---|---|
English | Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism |
scientific article; zbMATH DE number 6276681 |
Statements
Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism (English)
0 references
1 April 2014
0 references
AllDifferent constraint
0 references
backtrack
0 references
binary constraints
0 references
bit-vector
0 references
constraint propagation
0 references
constraint satisfaction
0 references
domain reduction
0 references
focus search
0 references
forward checking
0 references
graph indexing
0 references
molecule matching
0 references
prematching
0 references
signature file
0 references
subgraph isomorphism
0 references