المؤلفون: Butti, Silvia

المساهمون: University/Department: Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions

مرشدي الرسالة: Dalmau, Víctor

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Constraint satisfaction problems, Linear programming, Weisfeiler-Leman algorithm, Sherali-Adams hierarchy, Distributed algorithms, Model checking, Problema de satisfacción de restricciones, Programación lineal, Algoritmo de Weisfeiler-Leman, Jerarquía de Sherali-Adams, Algoritmos distribuidos, Verificación de modelos, Problema de satisfacció de restriccions, Programació lineal, Algoritme de Weisfeiler-Leman, Jerarquia de Sherali-Adams, Algorismes distribuïts, Verificació de models

وصف الملف: application/pdf

الوصول الحر: http://hdl.handle.net/10803/675788Test

المؤلفون: Mohammad Mohammadi Shahir, Mehdi Mirzaei, Maryam Farbodi, Sadra Rafatnia

المصدر: IET Control Theory & Applications, Vol 18, Iss 10, Pp 1301-1313 (2024)

مصطلحات موضوعية: adaptive control, constraint satisfaction problems, control system analysis, estimation theory, non‐linear control systems, position control, Control engineering systems. Automatic machinery (General), TJ212-225

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/1751-8644Test; https://doaj.org/toc/1751-8652Test

الوصول الحر: https://doaj.org/article/b974b69f114b49d59b5e2e602c33dde7Test

المؤلفون: Bhangale, Amey, Stankovic, Aleksa

المصدر: Algorithmica. 85(9):2693-2734

مصطلحات موضوعية: Constraint satisfaction problems, Hardness of approximation, Label cover, Non-Abelian groups, Representation theory, Universal factor graphs

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-338479Test
https://doi.org/10.1007/s00453-023-01115-1Test

المؤلفون: Mottet, Antoine

المساهمون: Antoine Mottet

مصطلحات موضوعية: promise constraint satisfaction problems, polymorphisms, homogeneous structures, first-order logic

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024); urn:nbn:de:0030-drops-196842; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.41Test

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.41Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-196842Test

المؤلفون: Dawar, Anuj, Hella, Lauri

المساهمون: Anuj Dawar and Lauri Hella

مصطلحات موضوعية: generalized quantifiers, constraint satisfaction problems, pebble games, finite variable logics, descriptive complexity theory

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024); urn:nbn:de:0030-drops-196662; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.23Test

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.23Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-196662Test

المؤلفون: Lee, Euiwoong, Manurangsi, Pasin

المساهمون: Euiwoong Lee and Pasin Manurangsi

مصطلحات موضوعية: Hardness of Approximation, Bounded Degree, Constraint Satisfaction Problems, Independent Set

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 287, 15th Innovations in Theoretical Computer Science Conference (ITCS 2024); urn:nbn:de:0030-drops-195996; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2024.71Test

الإتاحة: https://doi.org/10.4230/LIPIcs.ITCS.2024.71Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-195996Test

المؤلفون: Khwansiri Ninpan, Shuzhang Huang, Francesco Vitillo, Mohamad Ali Assaad, Lies Benmiloud Bechet, Robert Plana

المصدر: Algorithms, Vol 17, Iss 6, p 230 (2024)

مصطلحات موضوعية: heuristics, scheduling algorithms, constraint satisfaction problems, resource allocation, co-activity conflict mitigation, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://www.mdpi.com/1999-4893/17/6/230Test; https://doaj.org/toc/1999-4893Test

الوصول الحر: https://doaj.org/article/3b543f651baa40a4848bc1423820e7f3Test

المؤلفون: Dvorak, Martin, Kolmogorov, Vladimir

المصدر: Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming . 2024. doi: 10.1007/s10107-024-02064-5

مصطلحات موضوعية: minimum 0-extension problem, metric labeling problem, discrete metric spaces, metric extensions, computational complexity, valued constraint satisfaction problems, discrete convex analysis, L-convex functions, ddc:004

العلاقة: info:eu-repo/semantics/altIdentifier/issn/0025-5610; info:eu-repo/semantics/altIdentifier/issn/1436-4646; info:eu-repo/semantics/altIdentifier/arxiv/2109.10203; https://research-explorer.ista.ac.at/record/10045Test; https://research-explorer.ista.ac.at/download/10045/10046Test

الإتاحة: https://doi.org/10.1007/s10107-024-02064-5Test
https://research-explorer.ista.ac.at/record/10045Test
https://research-explorer.ista.ac.at/download/10045/10046Test

المؤلفون: Zhigang Xiong, Yasong Luo, Zhong Liu, Jianqiang Zhang, Zhikun Liu

المصدر: IET Control Theory & Applications, Vol 17, Iss 9, Pp 1089-1104 (2023)

مصطلحات موضوعية: collision avoidance, concave programming, constraint satisfaction problems, convex programming, dynamic programming, integer programming, Control engineering systems. Automatic machinery (General), TJ212-225

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/1751-8644Test; https://doaj.org/toc/1751-8652Test

الوصول الحر: https://doaj.org/article/1f6d8d977a43460db84ee671b882e02aTest

المؤلفون: Maria Khodaverdian, Maryam Malekzadeh

المصدر: IET Control Theory & Applications, Vol 17, Iss 8, Pp 953-967 (2023)

مصطلحات موضوعية: attitude control, constraint satisfaction problems, predictive control, Control engineering systems. Automatic machinery (General), TJ212-225

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/1751-8644Test; https://doaj.org/toc/1751-8652Test

الوصول الحر: https://doaj.org/article/2108407d90c04939a2f81c2cf9d51422Test