Year | DOI | Venue |
---|---|---|
2001 | 10.1145/372202.372206 | SAC |
Keywords | Field | DocType |
automatic symmetry,computational logic,backtracking search,search space,symmetry,symmetry breaking,first order,satisfiability | Symmetry breaking,Computer science,Algorithm,DPLL algorithm,Backtracking | Conference |
ISBN | Citations | PageRank |
1-58113-287-5 | 6 | 0.54 |
References | Authors | |
6 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jian Zhang | 1 | 60 | 5.20 |