-
1Academic Journal
Contributors: Thomazo, Michaël
Source: Proceedings of the ACM on Management of Data. 3:1-20
Subject Terms: Bounded Derivation Depth Property, CCS Concepts: Theory of computation → Constraint and logic programming Finite Model Theory Automated reasoning Logic and databases Chase, Logic and databases Chase, Automated reasoning, CCS Concepts, Finite unification sets, TGDs, FC/BDD Conjecture, Theory of computation → Constraint and logic programming, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Existential Rules, Tuple Generating Dependencies, BDD, FO-Rewritability, Finite Model Theory, FUS, Finite Controllability
File Description: application/pdf
-
2Academic Journal
Subject Terms: Datalog, compiler optimization, Theory of computation → Constraint and logic programming, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004
File Description: application/pdf
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-8-33-132289-3; https://publikationen.bibliothek.kit.edu/1000187537; https://publikationen.bibliothek.kit.edu/1000187537/170103974; https://doi.org/10.5445/IR/1000187537/v2
-
3Academic Journal
Contributors: Christian Bessiere and Clément Carbonnel and Martin C. Cooper and Emmanuel Hebrard, Gouat, Isabelle, Carbonnel, Clément, Solnon, Christine, Agents, Apprentissage, Contraintes (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Université de Toulouse (UT), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), European Project: 101070149,TUPLES, European Project: 952215,TAILOR(2020)
Source: Constraints. 28:427-449
Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Theory of computation → Problems, reductions and completeness, constraint propagation, Minimum explanations, Complexity, Constraint propagation, minimum explanations, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Theory of computation → Fixed parameter tractability, Theory of computation → Constraint and logic programming, Fixed parameter tractability, Constraint programming, Constraint and logic programming, ddc:004, complexity
File Description: application/pdf
-
4Report
Authors: Belle, Vaishak, Benedikt, Michael, Drachsler-Cohen, Dana, Neider, Daniel, Yuviler, Tom, Yang, Hongseok, Barceló, Pablo, Raedt, Luc De, Geerts, Floris, Girard-Satabin, Julien, Giunchiglia, Eleonora, Lukina, Anna, Meyer, Pierre-Jean, Ritzert, Martin, Singh, Gagandeep, Solar-Lezama, Armando, Stoian, Mihaela, Tena, David, Urban, Caterina, Zombori, Zsolt, van Krieken, Emile
Contributors: Girard-Satabin, Julien
Subject Terms: safety, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], logic, computational complexity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], databases, Computing methodologies → Logical and relational learning, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], [INFO] Computer Science [cs], General and reference → Surveys and overviews, Computing methodologies → Machine learning approaches, machine learning, Computing methodologies → Artificial intelligence, learning theory, Theory of computation → Models of learning, Theory of computation → Constraint and logic programming, Theory of computation → Modal and temporal logics, verification
File Description: application/pdf
-
5Academic Journal
Authors: Nakajima, Tamio-Vesa, Živný, Stanislav
Contributors: Tamio-Vesa Nakajima and Stanislav Živný, Bojańczyk, Mikołaj, Merelli, Emanuela, Woodruff, David P.
Source: ACM Transactions on Computation Theory. 14:1-19
Subject Terms: FOS: Computer and information sciences, Discrete Mathematics (cs.DM), Theory of computation → Design and analysis of algorithms, Theory of computation → Problems, reductions and completeness, 0102 computer and information sciences, Computational Complexity (cs.CC), promise constraint satisfaction, algebraic approach, 01 natural sciences, PCSP, minions, Computer Science - Computational Complexity, Computer Science - Data Structures and Algorithms, Theory of computation → Constraint and logic programming, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), Combinatorics (math.CO), ddc:004, hypegraph colourings, polymorphisms, Computer Science - Discrete Mathematics
File Description: application/pdf
Access URL: http://arxiv.org/abs/2204.05628
https://ora.ox.ac.uk/objects/uuid:aeb2c090-f064-478a-81c3-bb2ac8df1192
https://doi.org/10.1145/3570909
https://ora.ox.ac.uk/objects/uuid:86b24d89-ef66-45f8-8a80-8f7507eb601d
https://doi.org/10.4230/lipics.icalp.2022.128
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.128 -
6Academic Journal
Authors: Brandts, Alex, Wrochna, Marcin, Živný, Stanislav
Contributors: Alex Brandts and Marcin Wrochna and Stanislav Živný, Artur Czumaj, Anuj Dawar, Emanuela Merelli
Source: ACM Transactions on Computation Theory
47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)Subject Terms: FOS: Computer and information sciences, Discrete Mathematics (cs.DM), G.2.1, F.2.2, Theory of computation → Problems, reductions and completeness, 0102 computer and information sciences, Computational Complexity (cs.CC), promise constraint satisfaction, algebraic approach, 16. Peace & justice, 01 natural sciences, PCSP, label cover, Computer Science - Computational Complexity, Theory of computation → Constraint and logic programming, 68R05, 68Q17, ddc:004, polymorphisms, Computer Science - Discrete Mathematics
File Description: application/pdf
Access URL: http://arxiv.org/pdf/1911.09065
http://arxiv.org/abs/1911.09065
https://drops.dagstuhl.de/opus/volltexte/2020/12424/pdf/LIPIcs-ICALP-2020-17.pdf/
https://dblp.uni-trier.de/db/conf/icalp/icalp2020.html#BrandtsWZ20
https://doi.org/10.4230/LIPIcs.ICALP.2020.17
https://drops.dagstuhl.de/opus/volltexte/2020/12424/
https://arxiv.org/abs/1911.09065
https://dblp.uni-trier.de/db/journals/corr/corr1911.html#abs-1911-09065
https://doi.org/10.1145/3470867
http://arxiv.org/pdf/1911.09065.pdf
http://ui.adsabs.harvard.edu/abs/2019arXiv191109065B/abstract
https://dl.acm.org/doi/10.1145/3470867
https://arxiv.org/pdf/1911.09065v3
https://arxiv.org/abs/1911.09065
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.17 -
7Academic Journal
Authors: Viola, Caterina, Živný, Stanislav
Contributors: Caterina Viola and Stanislav Živný, Javier Esparza, Daniel Kráľ
Source: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
ACM Transactions on AlgorithmsSubject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Discrete Mathematics (cs.DM), Valued constraint satisfaction, Theory of computation → Problems, reductions and completeness, valued constraint satisfaction, 0102 computer and information sciences, Computational Complexity (cs.CC), promise constraint satisfaction, 16. Peace & justice, 01 natural sciences, Logic in Computer Science (cs.LO), Computer Science - Computational Complexity, Promise constraint satisfaction, Convex relaxations, Computer Science - Data Structures and Algorithms, Theory of computation → Constraint and logic programming, Data Structures and Algorithms (cs.DS), ddc:004, convex relaxations, 0101 mathematics, Polymorphisms, polymorphisms, Computer Science - Discrete Mathematics
File Description: application/pdf
Access URL: https://drops.dagstuhl.de/opus/volltexte/2020/12756/pdf/LIPIcs-MFCS-2020-85.pdf
http://arxiv.org/abs/2007.01779
http://ui.adsabs.harvard.edu/abs/2020arXiv200701779V/abstract
https://arxiv.org/pdf/2007.01779.pdf
https://arxiv.org/abs/2007.01779
https://dl.acm.org/doi/10.1145/3458041
https://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-01779
https://ora.ox.ac.uk/objects/uuid:6bab5669-9398-485d-877c-5bcff547c546
https://doi.org/10.1145/3458041
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2020.85
https://hdl.handle.net/20.500.11769/605674
https://doi.org/10.4230/LIPIcs.MFCS.2020.85 -
8Conference
Authors: Schiex, Thomas
Contributors: Schiex, Thomas
Subject Terms: random Markov fields, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], constraint programming, Computing methodologies → Learning graphical models, deep learning, constraint programming, cost function networks, random Markov fields, decision-focused learning, protein design .CP.2023, decision-focused learning, 2012 ACM Subject Classification Computing methodologies → Artificial intelligence, deep learning, 2012 ACM Subject Classification Computing methodologies → Artificial intelligence Computing methodologies → Machine learning Theory of computation → Constraint and logic programming Computing methodologies → Learning graphical models, deep learning, constraint programming, cost function networks, random Markov fields, decision-focused learning, protein design .CP.2023, [INFO] Computer Science [cs], Computing methodologies → Artificial intelligence, [INFO.INFO-BT] Computer Science [cs]/Biotechnology, Computing methodologies → Machine learning, Computing methodologies → Learning in probabilistic graphical models, graphical models, cost function networks, Theory of computation → Constraint and logic programming, protein design, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]
File Description: application/pdf
-
9Conference
Authors: Povéda, Guillaume, Alvarez, Nahum, Artigues, Christian
Contributors: Guillaume Povéda and Nahum Alvarez and Christian Artigues, Artigues, Christian
Subject Terms: large neighborhood search, constraint programming, Applied computing → Industry and manufacturing, 2012 ACM Subject Classification Computing methodologies → Planning and scheduling Applied computing → Industry and manufacturing Theory of computation → Optimization with randomized search heuristics Theory of computation → Constraint and logic programming phrases Large-scale scheduling problem, Large-scale scheduling problem, [INFO.INFO-RO] Computer Science [cs]/Operations Research [math.OC], multi-mode, Theory of computation → Constraint and logic programming, Theory of computation → Optimization with randomized search heuristics, Computing methodologies → Planning and scheduling, Theory of computation → Constraint and logic programming phrases Large-scale scheduling problem, partial preemption, multi-skill, ddc:004, resource calendars
File Description: application/pdf
-
10Conference
Contributors: Université Côte d'Azur (UniCA), This work has been supported by the French government, through the 3IA Côte d’Azur Investments in the Future project managed by the National Research Agency (ANR) with the reference number ANR-19-P3IA-0002., Yap, Roland H. C., ANR-19-P3IA-0002,3IA@cote d'azur,3IA Côte d'Azur(2019)
Source: 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
https://hal.science/hal-04241596
29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Aug 2023, Toronto, Canada. pp.24:1--24:15, ⟨10.4230/LIPIcs.CP.2023.24⟩Subject Terms: 2012 ACM Subject Classification Applied computing → Multi-criterion optimization and decisionmaking, 2012 ACM Subject Classification Applied computing → Multi-criterion optimization and decisionmaking Theory of computation → Constraint and logic programming Mathematics of computing → Decision diagrams phrases Constraint Programming, Global Constraint, MDD, Multi-Objective Problem, Pareto Constraint, Theory of computation → Constraint and logic programming, Mathematics of computing → Decision diagrams phrases Constraint Programming, Constraint Programming, Mathematics of computing → Decision diagrams, Applied computing → Multi-criterion optimization and decision-making, [INFO]Computer Science [cs]
Subject Geographic: Toronto
Time: Toronto, Canada
-
11Conference
Authors: Juvin, Carla, Hebrard, Emmanuel, Houssin, Laurent, Lopez, Pierre
Contributors: Carla Juvin and Emmanuel Hebrard and Laurent Houssin and Pierre Lopez, Hebrard, Emmanuel
Subject Terms: Scheduling, Preemptive Resources, Theory of computation → Constraint and logic programming, Computing methodologies → Planning and scheduling, [INFO] Computer Science [cs], ddc:004, Constraint Programming
File Description: application/pdf
-
12Academic Journal
Authors: Mengel, Stefan
Contributors: Mengel, Stefan, Meena Mahajan, Friedrich Slivovsky, Stefan Mengel
Subject Terms: FOS: Computer and information sciences, Computer Science - Artificial Intelligence, Complexity, Binary Decision Diagrams, [INFO] Computer Science [cs], Computational Complexity (cs.CC), Computer Science - Computational Complexity, Artificial Intelligence (cs.AI), Bucket Elimination, Theory of computation → Constraint and logic programming, Theory of computation → Proof complexity, ddc:004, Satisfiability
File Description: application/pdf
-
13Conference
Authors: Khoualdia, Asma, Cherif, Sami, Devismes, Stéphane, Robert, Léo
Contributors: Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Université de Picardie Jules Verne (UPJV), ANR-22-CE25-0008,SKYDATA,Un nouveau paradigme de donnée: Les données autononomes et intelligentes(2022), ANR-24-CE23-6126,BforSAT,Branchement pour SAT et au-delà(2024)
Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 31st International Conference on Principles and Practice of Constraint Programming (CP 2025) ; https://hal.science/hal-05203873 ; 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Glasgow, United Kingdom. pp.19:1--19:21, ⟨10.4230/LIPIcs.CP.2025.19⟩
Subject Terms: Theory of computation → Logic and verification, Theory of computation → Constraint and logic programming, Theory of computation → Distributed algorithms, Satisfiability, Synchronous Unison, Self-stabilization, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subject Geographic: Glasgow, United Kingdom
-
14Academic Journal
Authors: Barto, Libor, Butti, Silvia
Contributors: Libor Barto and Silvia Butti, Solnon, Christine
Subject Terms: FOS: Computer and information sciences, Discrete Mathematics (cs.DM), Symmetric fractional polymorphisms, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Promise Valued Constraint Satisfaction Problem, 01 natural sciences, Color refinement algorithm, Computer Science - Data Structures and Algorithms, Theory of computation → Constraint and logic programming, 0202 electrical engineering, electronic engineering, information engineering, Distributed algorithms, Linear programming relaxation, Data Structures and Algorithms (cs.DS), ddc:004, Computer Science - Discrete Mathematics
File Description: application/pdf
-
15Conference
Authors: Long, Zhiguo, Hu, Qiyuan, Meng, Hua, Sioutis, Michael
Contributors: Sioutis, Michael, Zhiguo Long and Qiyuan Hu and Hua Meng and Michael Sioutis
Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], qualitative data, satisfiability checking, Computing methodologies → Temporal reasoning, Online algorithm, Theory of computation → Constraint and logic programming, Computing methodologies → Spatial and physical reasoning, knowledge representation and reasoning, ddc:004, spatio-temporal reasoning
File Description: application/pdf
-
16Conference
Authors: Carbonnel, Clément
Contributors: Clément Carbonnel, Solnon, Christine
Subject Terms: redundancy, Constraint satisfaction problem, Theory of computation → Constraint and logic programming, Mathematics of computing → Discrete mathematics, universal algebra, extremal combinatorics, ddc:004
File Description: application/pdf
-
17Conference
Contributors: Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)
Source: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
International Conference on Principles and Practice of Constraint Programming (CP 2021)
https://cnrs.hal.science/hal-03800492
International Conference on Principles and Practice of Constraint Programming (CP 2021), Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.43⟩Subject Terms: 2012 ACM Subject Classification General and reference → Evaluation, Theory of computation → Automated reasoning, Theory of computation → Constraint and logic programming, [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]
Subject Geographic: Montpellier, France
Relation: hal-03800492; https://cnrs.hal.science/hal-03800492; https://cnrs.hal.science/hal-03800492/document; https://cnrs.hal.science/hal-03800492/file/LIPIcs-CP-2021-43.pdf
-
18Academic Journal
Authors: Araújo, João, Chow, Choiwah, Janota, Mikoláš
Contributors: João Araújo and Choiwah Chow and Mikoláš Janota, Michel, Laurent D.
Subject Terms: isomorphism, Theory of computation → Constraint and logic programming, ddc:004, invariants, Mace4, Computing methodologies, finite model enumeration
File Description: application/pdf
-
19Academic Journal
Authors: Brandts, Alex, Živný, Stanislav
Contributors: Bansal, Nikhil, Merelli, Emanuela, Worrell, James
Subject Terms: Theory of computation → Problems, reductions and completeness, Theory of computation → Constraint and logic programming, promise constraint satisfaction, polymorphisms, algebraic approach, PCSP
-
20Conference
Authors: Berkholz, Christoph, Mengel, Stefan, Wilhelm, Hermann
Contributors: Technische Universität Ilmenau = Ilmenau University of Technology = Université technique d'Ilmenau Ilmenau, Allemagne (TU), Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS), ANR-19-CE48-0019,EQUUS,Réponse efficace aux requêtes sous mises à jour(2019)
Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024) ; https://hal.science/hal-04784672 ; 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), Mar 2024, Clermont- Ferrand, France. ⟨10.4230/LIPIcs.STACS.2024.11⟩
Subject Terms: Theory of computation → Complexity theory and logic, Theory of computation → Constraint and logic programming, DNNF, dichotomy, knowledge compilation, constraint satisfaction, [INFO]Computer Science [cs]
Subject Geographic: Clermont- Ferrand, France
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2311.10040; ARXIV: 2311.10040