메뉴 건너뛰기




Volumn 3011, Issue , 2004, Pages 271-286

Models and symmetry breaking for 'peaceable armies of queens'

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL OPTIMIZATION; COMPUTER PROGRAMMING; CONSTRAINT THEORY; OPTIMAL SYSTEMS;

EID: 35048855564     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24664-0_19     Document Type: Article
Times cited : (13)

References (6)
  • 2
    • 0000386002 scopus 로고    scopus 로고
    • Increasing constraint propagation by redundant modeling: An experience report
    • B.M.W. Cheng, K.M.F. Choi, J.H.M. Lee, and J.C.K. Wu. Increasing constraint propagation by redundant modeling: an experience report. Constraints, 4:167-192, 1999.
    • (1999) Constraints , vol.4 , pp. 167-192
    • Cheng, B.M.W.1    Choi, K.M.F.2    Lee, J.H.M.3    Wu, J.C.K.4
  • 3
    • 34247112468 scopus 로고    scopus 로고
    • Chess Queens and Maximum Unattacked Cells
    • November
    • M. Gardner. Chess Queens and Maximum Unattacked Cells. Math Horizon, pages 12-16, November 1999.
    • (1999) Math Horizon , pp. 12-16
    • Gardner, M.1
  • 4
    • 0003084962 scopus 로고    scopus 로고
    • Symmetry Breaking during Search in Constraint Programming
    • W. Horn, editor
    • I.P. Gent and B.M. Smith. Symmetry Breaking During Search in Constraint Programming. In W. Horn, editor, Proceedings ECAI'2000, pages 599-603, 2000.
    • (2000) Proceedings ECAI'2000 , pp. 599-603
    • Gent, I.P.1    Smith, B.M.2
  • 5
    • 84947944941 scopus 로고    scopus 로고
    • Dual Models of Permutation Problems
    • Proceedings of CP'01: the 7th International Conference on Principles and Practice of Constraint Programming, Springer
    • B.M. Smith. Dual Models of Permutation Problems. In Proceedings of CP'01: the 7th International Conference on Principles and Practice of Constraint Programming, LNCS 2239, pages 615-619. Springer, 2001.
    • (2001) LNCS , vol.2239 , pp. 615-619
    • Smith, B.M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.