메뉴 건너뛰기




Volumn 4741 LNCS, Issue , 2007, Pages 823-830

Groupoids and conditional symmetry

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; DATA STRUCTURES; POLYNOMIALS; PROBLEM SOLVING;

EID: 38149103268     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74970-7_60     Document Type: Conference Paper
Times cited : (6)

References (6)
  • 1
    • 33646168504 scopus 로고    scopus 로고
    • Conditional symmetry in the all-interval series problem
    • Gent, I.P., McDonald, I., Smith, B.M.: Conditional symmetry in the all-interval series problem. In: Symcon'03 (2003)
    • (2003) Symcon'03
    • Gent, I.P.1    McDonald, I.2    Smith, B.M.3
  • 3
    • 37149050145 scopus 로고    scopus 로고
    • Conditional interchangeability and substitutability
    • Zhang, Y., Freuder, E.C.: Conditional interchangeability and substitutability. In: SymCon'04 (2004)
    • (2004) SymCon'04
    • Zhang, Y.1    Freuder, E.C.2
  • 4
    • 33750381328 scopus 로고    scopus 로고
    • General symmetry breaking constraints
    • Benhamou, F, ed, CP, Springer, Heidelberg
    • Walsh, T.: General symmetry breaking constraints. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 650-664. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.4204 , pp. 650-664
    • Walsh, T.1
  • 5
    • 0002354714 scopus 로고
    • Bulletins of the London Mathematical Society
    • Brown, R.: From groups to groupoids: A brief survey. Bulletins of the London Mathematical Society 19, 113-134 (1987)
    • (1987) From groups to groupoids: A brief survey , vol.19 , pp. 113-134
    • Brown, R.1
  • 6
    • 85017358595 scopus 로고    scopus 로고
    • Tractable symmetry breaking using restricted search trees
    • Roney-Dougal, C.M., Gent, I.P., Kelsey, T., Linton, S.A.: Tractable symmetry breaking using restricted search trees. In: ECAI'04, pp. 211-215 (2004)
    • (2004) ECAI'04 , pp. 211-215
    • Roney-Dougal, C.M.1    Gent, I.P.2    Kelsey, T.3    Linton, S.A.4


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