Search Results - Artificial Intelligence Constraint Programming String Solving

Dashed strings for string constraint solving

Authors: Amadini, Roberto Gange, Graeme Stuckey, Peter J.

Contributors: Amadini, Roberto Gange, Graeme Stuckey, Peter J.

Subject Terms: Artificial Intelligence Constraint Programming String Solving

File Description: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000591726900001; volume:289; firstpage:1; lastpage:31; numberofpages:31; journal:ARTIFICIAL INTELLIGENCE; https://hdl.handle.net/11585/798547; https://www.sciencedirect.com/science/article/abs/pii/S0004370220301181

Availability: https://hdl.handle.net/11585/798547
https://doi.org/10.1016/j.artint.2020.103368
https://www.sciencedirect.com/science/article/abs/pii/S0004370220301181

A Survey on String Constraint Solving

Authors: Amadini, Roberto

Source: ACM Computing Surveys. 55:1-38

Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Formal Languages and Automata Theory (cs.FL), 0202 electrical engineering, electronic engineering, information engineering, String Solving, String Analysis, Program Analysis, Satisfiability Modulo Theories, Constraint Programming, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

File Description: application/pdf

Access URL: http://arxiv.org/pdf/2002.02376
http://arxiv.org/abs/2002.02376
https://dl.acm.org/doi/10.1145/3484198
https://dlnext.acm.org/doi/10.1145/3484198
https://hdl.handle.net/11585/850408
https://dl.acm.org/doi/10.1145/3484198
https://doi.org/10.1145/3484198

A Survey on String Constraint Solving.

Authors: AMADINI, ROBERTO

Source: ACM Computing Surveys; Jan2023, Vol. 55 Issue 1, p1-38, 38p, 1 Illustration

Subject Terms: PROBLEM solving, CONSTRAINT programming, INTERNET security

A Survey on String Constraint Solving.

Authors: AMADINI, ROBERTO

Source: ACM Computing Surveys; Jan2022, Vol. 54 Issue 1, p1-38, 38p, 2 Illustrations

Subject Terms: DATABASES, CONSTRAINT programming, PROBLEM solving, INTERNET security, COMPUTER software

Constraint Programming for Automatic User Interface Construction.

Authors: Lozov, P. A. Kosarev, D. S. Boulytchev, D. Yu.

Source: Programming & Computer Software; Aug2025, Vol. 51 Issue 4, p262-273, 12p

Subject Terms: GRAPHICAL user interfaces, IMAGE processing software, CONSTRAINT programming, ARTIFICIAL intelligence, USER interfaces

Sweep-Based Propagation for String Constraint Solving

Authors: Amadini, Roberto Gange, Graeme Stuckey, Peter

Source: Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 32 No. 1 (2018): Thirty-Second AAAI Conference on Artificial Intelligence ; 2374-3468 ; 2159-5399

Subject Terms: Artificial Intelligence, Constraint Programming, String Solving

File Description: application/pdf

Relation: https://ojs.aaai.org/index.php/AAAI/article/view/12201/12060; https://ojs.aaai.org/index.php/AAAI/article/view/12201

Availability: https://ojs.aaai.org/index.php/AAAI/article/view/12201
https://doi.org/10.1609/aaai.v32i1.12201

From Integer Programming to Machine Learning: A Technical Review on Solving University Timetabling Problems.

Authors: Gu, Xin Krish, Muralee Sohail, Shaleeza et al.

Source: Computation; Jan2025, Vol. 13 Issue 1, p10, 27p

Subject Terms: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving

A constraint programming approach to a real-world workforce scheduling problem for multi-manned assembly lines with sequence-dependent setup times.

Authors: Güner, Funda Görür, Abdül K. Satır, Benhür et al.

Source: International Journal of Production Research; May2024, Vol. 62 Issue 9, p3212-3229, 18p

Subject Terms: CONSTRAINT programming, SETUP time, ASSEMBLY line methods, ASSEMBLY line balancing, MIXED integer linear programming, SHIFT systems

Company/Entity: TEXAS Instruments Inc.

Sweep-based propagation for string constraint solving

Authors: Amadini, R Gange, G Stuckey, PJ

Source: 2018 AAAI Conference on Artificial Intelligence

Index Terms: Conference Paper

URL: http://hdl.handle.net/11343/241773

CMBMeTest: Generation of Test Suites Using Model-Based Testing Plus Constraint Programming and Metamorphic Testing.

Authors: Castro-Cabrera, M. Carmen de García-Dominguez, Antonio Medina-Bulo, Inmaculada

Source: Electronics (2079-9292); Jan2024, Vol. 13 Issue 1, p18, 25p

Subject Terms: CONSTRAINT programming, COMPUTER software testing

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference.

Authors: Menguy, Grégoire Bardin, Sébastien Gotlieb, Arnaud et al.

Source: Journal of Artificial Intelligence Research; 2025, Vol. 82, p901-936, 36p

Subject Terms: BINARY codes, CONSTRAINT programming, INFORMATION storage & retrieval systems, RETROFITTING, DOCUMENTATION

Automatic constraint programming solver selection method based on machine learning for the cable tree wiring problem.

Authors: Zhang, Zhixin Xiao, Chenglong Wang, Shanshan et al.

Source: Journal of Engineering; Mar2024, Vol. 2024 Issue 3, p1-15, 15p

Subject Terms: MACHINE learning, INFORMATION sharing, ENGINEERING, PROFESSIONS, DECISION trees

Bounded Strings for Constraint Programming

Authors: Joseph D. Scott Pierre Flener Justin Pearson

Source: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence. :1036-1043

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Constraint Programming for Dynamic Symbolic Execution of JavaScript

Authors: Rousseau, LM Stergiou, K Amadini, R et al.

Source: CPAIOR: International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Index Terms: Conference Paper

URL: http://hdl.handle.net/11343/241769

Scientific discovery in the age of artificial intelligence.

Authors: Wang H Fu T Du Y et al.

Source: Nature [Nature] 2023 Aug; Vol. 620 (7972), pp. 47-60. Date of Electronic Publication: 2023 Aug 02.

Publication Type: Journal Article; Review; Research Support, N.I.H., Extramural; Research Support, U.S. Gov't, Non-P.H.S.; Research Support, Non-U.S. Gov't

Journal Info: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 0410462 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1476-4687 (Electronic) Linking ISSN: 00280836 NLM ISO Abbreviation: Nature Subsets: MEDLINE

MeSH Terms: Artificial Intelligence*/standards , Artificial Intelligence*/trends , Research Design*/standards , Research Design*/trends, Datasets as Topic ; Deep Learning ; Unsupervised Machine Learning

A constraint programming based column generation approach for crew scheduling: A case study for the Kayseri railway.

Authors: Tapkan, Pınar Kulluk, Sinem Özbakır, Lale et al.

Source: Journal of the Operational Research Society; Sep2023, Vol. 74 Issue 9, p2028-2042, 15p

Subject Terms: CONSTRAINT programming, COLUMN generation (Algorithms), NP-complete problems, PUBLIC transit, OPERATING costs

Geographic Terms: KAYSERI (Turkey)

A novel approach to string constraint solving

Authors: Amadini R. Gange G. Stuckey P. J. et al.

Contributors: Amadini R. Gange G. Stuckey P. J. et al.

Subject Terms: string solving

File Description: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-319-66157-5; info:eu-repo/semantics/altIdentifier/isbn/978-3-319-66158-2; info:eu-repo/semantics/altIdentifier/wos/WOS:000560693900001; ispartofbook:23rd International Conference on the Principles and Practice of Constraint Programming, CP 2017; 23rd International Conference on the Principles and Practice of Constraint Programming, CP 2017; volume:10416; firstpage:3; lastpage:20; numberofpages:18; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11585/708551

Availability: http://hdl.handle.net/11585/708551
https://doi.org/10.1007/978-3-319-66158-2_1
http://springerlink.com/content/0302-9743/copyright/2005/

Sweep-based propagation for string constraint solving

Authors: Amadini R. Gange G. Stuckey P. J. et al.

Contributors: Amadini R. Gange G. Stuckey P. J. et al.

Subject Terms: string solving

File Description: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000485488906079; ispartofbook:32nd AAAI Conference on Artificial Intelligence, AAAI 2018; 32nd AAAI Conference on Artificial Intelligence, AAAI 2018; firstpage:6557; lastpage:6564; numberofpages:8; http://hdl.handle.net/11585/708557; https://aaai.org/Library/AAAI/aaai18contents.php

Availability: http://hdl.handle.net/11585/708557
https://aaai.org/Library/AAAI/aaai18contents.php

Specifying and solving symbolic and numeric temporal constraints.

Authors: Sadaoui, Samira Mouhoub, Malek Li, Xiao Feng

Source: International Journal of Knowledge Based Intelligent Engineering Systems; 2013, Vol. 17 Issue 3, p209-217, 9p

Subject Terms: CONSTRAINT satisfaction, CONSTRAINT programming, MATHEMATICAL logic, PROGRAMMING languages, PROBLEM solving, GRAPHICAL user interfaces

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.

Authors: CUTERI, BERNARDO DODARO, CARMINE RICCA, FRANCESCO et al.

Source: Theory & Practice of Logic Programming; Sep2017, Vol. 17 Issue 5/6, p780-799, 20p

Subject Terms: DECLARATIVE programming, DECLARATIVE programming languages, PROGRAMMING language semantics, CONSTRAINT programming, EMPIRICAL research