Suchergebnisse - "Constraint Logic Programming on Finite Domains"

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

Autoren: Bertagnon A. Gavanelli M.

Schlagwörter: Constraint Logic Programming on Finite Domains, alldifferent constraint, circuit constraint, Global constraints, Hamiltonian Circuit Problem

Dateibeschreibung: application/pdf

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

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

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

Quelle: Theory and Practice of Logic Programming. 17:800-818

Schlagwörter: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Answer set programming, Constrained optimization, Constraint logic programming on finite domains, Logic programming applications, Optical networks-on-chip, Software, Theoretical Computer Science, Hardware and Architecture, Computational Theory and Mathematics, Artificial Intelligence

Dateibeschreibung: application/pdf

Zugangs-URL: https://arxiv.org/pdf/1707.05858.pdf
http://arxiv.org/abs/1707.05858
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logic-programming-approaches-for-routing-faultfree-and-maximally-parallel-wavelengthrouted-optical-networksonchip-application-paper/3B6AA94871448FE7F83599A77AFF9942
https://ui.adsabs.harvard.edu/abs/2017arXiv170705858G/abstract
https://www.cambridge.org/core/product/identifier/S1471068417000424/type/journal_article
https://iris.unife.it/handle/11392/2377408
https://arxiv.org/abs/1707.05858
http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#GavanelliNPB17
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://hdl.handle.net/11392/2377408
https://doi.org/10.1017/S1471068417000424

Functional and Cost-Based Automatic Generator for Hybrid Vehicles Topologies

Autoren: M Maarten Steinbuch Emilia Silvas Theo Hofman et al.

Quelle: IEEE/ASME Transactions on Mechatronics. 20:1561-1572

Schlagwörter: constraint logic programming over finite domains, 0203 mechanical engineering, hybrid electric vehicles (HEV), 13. Climate action, Automatic topology generator, 0202 electrical engineering, electronic engineering, information engineering, platform-based design methodology, SDG 7 - Affordable and Clean Energy, 02 engineering and technology, 7. Clean energy, SDG 7 – Betaalbare en schone energie

Zugangs-URL: https://pure.tue.nl/ws/files/3812320/584193958941239.pdf
https://pure.tue.nl/ws/files/3812320/584193958941239.pdf
http://ieeexplore.ieee.org/document/7064789
https://www.narcis.nl/publication/RecordID/oai%3Apure.tue.nl%3Apublications%2F4aac38d8-c34d-42ee-a260-99ef06a4ac10
https://research.tue.nl/nl/publications/functional-and-cost-based-automatic-generator-for-hybrid-vehicles
https://ieeexplore.ieee.org/document/7064789

Multivalued Action Languages with Constraints in CLP(FD)

Autoren: DOVIER, Agostino FORMISANO A. PONTELLI E.

Quelle: Lecture Notes in Computer Science ISBN: 9783540746089

Schlagwörter: Action description languages, Constraint logic programming, Knowledge representation, Planning, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Action Description Languages, Knowledge Representation, Constraint Logic Programming, Action description languages, Action languages, CLP (FD), Conditional effects, Constraint logic programming (CLIP), Finite domains, Heidelberg (CO), international conferences, Planning Domains, prototype implementations

Dateibeschreibung: application/pdf

Zugangs-URL: http://www.dimi.uniud.it/dovier/PAPERS/iclp07.pdf
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068410000013
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/multivalued-action-languages-with-constraints-in-clpfd1/006C2429E96E7BA9C8B4E1532A670D9E
http://www.dimi.uniud.it/dovier/PAPERS/iclp07.pdf
https://link.springer.com/chapter/10.1007/978-3-540-74610-2_18
https://dblp.uni-trier.de/db/conf/iclp/iclp2007.html#DovierFP07
http://www.dmi.unipg.it/~formis/iclp07.pdf
https://rd.springer.com/chapter/10.1007/978-3-540-74610-2_18
https://link.springer.com/content/pdf/10.1007%2F978-3-540-74610-2_18.pdf
https://hdl.handle.net/11390/881936
https://hdl.handle.net/11391/172863
https://doi.org/10.1007/978-3-540-74610-2_18
https://hdl.handle.net/11391/172227
https://doi.org/10.1017/S1471068410000013

Global Constraints on Feature Models

Autoren: KARATAS, Ahmet Serkan OGUZTUZUN, Halit Doğru, Ali Hikmet

Schlagwörter: Global constraints, Feature models, Constraint logic programming over finite domains

Relation: 78149235541; https://hdl.handle.net/11511/35376; 6308; WOS:000286485800043

Verfügbarkeit: https://hdl.handle.net/11511/35376
https://doi.org/10.1007/978-3-642-15396-9_43

Analysis Of Extended Feature Models With Constraint Programming

Autoren: Karatas, Ahmet Serkan

Thesis Advisors: Oguztuzun, Halit

Schlagwörter: QA Computer Software 76.75-76.765, Extended Feature Models, Constraint Logic Programming over Finite Domains, Global Constraints, Automated Analysis of Feature Models, Context Variability

Dateibeschreibung: text/pdf

Verfügbarkeit: http://etd.lib.metu.edu.tr/upload/3/12612082/index.pdf

Functional and cost-based automatic generator for hybrid vehicles topologies

Autoren: Silvas, E. Hofman, T. Serebrenik, A. et al.

Quelle: IEEE/ASME Transactions on Mechatronics vol.20 (2015) nr.4 p.1561-1572 [ISSN 1083-4435]

Index Begriffe: Automatic topology generator, constraint logic programming over finite domains, hybrid electric vehicles (HEV), platform-based design methodology, SDG 7 - Affordable and Clean Energy, Tijdschriftartikel, Article

URL: https://research.tue.nl/en/publications/4aac38d8-c34d-42ee-a260-99ef06a4ac10
https://pure.tue.nl/ws/files/3812322/688743139914900.pdf
https://pure.tue.nl/ws/files/3812322/688743139914900.pdf