Search Results - "Constraint Logic Programming on Finite Domain"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem

    Authors: Bertagnon A. Gavanelli M. Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati et al.

    Contributors: Bertagnon A. Gavanelli M. Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati et al.

    Subject Terms: alldifferent constraint, circuit constraint, Constraint Logic Programming on Finite Domain, Global constraint, Hamiltonian Circuit Problem, Constraint Logic Programming on Finite Domains, Global constraints

    File Description: ELETTRONICO

    Relation: ispartofbook:AI4CC-IPS-RCRA-SPIRIT 2024: International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy.; 31st RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion; volume:3883; firstpage:118; lastpage:128; numberofpages:11; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati; https://hdl.handle.net/11392/2577814

    Availability: https://hdl.handle.net/11392/2577814
    https://ceur-ws.org/Vol-3883/paper2_RCRA7.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)

    Authors: GAVANELLI, Marco NONATO, Maddalena PEANO, Andrea et al.

    Contributors: GAVANELLI, Marco NONATO, Maddalena PEANO, Andrea et al.

    Subject Terms: Answer set programming, Constrained optimization, Constraint logic programming on finite domain, Logic programming application, Optical networks-on-chip, Software, Theoretical Computer Science, Hardware and Architecture, Computational Theory and Mathematic, Artificial Intelligence

    File Description: ELETTRONICO

    Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000412567800008; 33rd International Conference on Logic Programming colocated with the 23rd International Conference on Principles and Practice of Constraint Programming / 20th International Conference on Theory and Applications of Satisfiability Testing; volume:17; issue:5-6; firstpage:800; lastpage:818; numberofpages:19; journal:THEORY AND PRACTICE OF LOGIC PROGRAMMING; http://hdl.handle.net/11392/2377408; https://arxiv.org/pdf/1707.05858.pdf

    Availability: http://hdl.handle.net/11392/2377408
    https://doi.org/10.1017/S1471068417000424
    https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/logic-programming-approaches-for-routing-faultfree-and-maximally-parallel-wavelengthrouted-optical-networksonchip-application-paper/3B6AA94871448FE7F83599A77AFF9942#access-block
    https://arxiv.org/pdf/1707.05858.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: