Works matching DE "CONSTRAINT satisfaction"


Results: 1808
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29

    Constraint-based BMC: a backjumping strategy.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 103, doi. 10.1007/s10009-012-0258-6
    By:
    • Collavizza, Hélène;
    • Le Vinh, Nguyen;
    • Ponsini, Olivier;
    • Rueher, Michel;
    • Rollet, Antoine
    Publication type:
    Article
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41

    Automatic Time Table Generator.

    Published in:
    Grenze International Journal of Engineering & Technology (GIJET), 2025, v. 11, n. Part2, p. 2860
    By:
    • Banerjee, Kakoli;
    • P., Vinooth;
    • Khanmotra, Susheel;
    • Mishra, Shailesh;
    • Uppal, Shriya;
    • Prasad, Valmiki
    Publication type:
    Article
    42
    43
    44

    Study and research paths in the frontier between paradigms.

    Published in:
    International Journal of Mathematical Education in Science & Technology, 2022, v. 53, n. 5, p. 1213, doi. 10.1080/0020739X.2021.1988166
    By:
    • Barquero, Berta;
    • Bosch, Marianna;
    • Florensa, Ignasi;
    • Ruiz-Munzón, Noemí
    Publication type:
    Article
    45
    46
    47
    48
    49
    50