- The Janus System: Multi-paradigm Programming in Prolog and Python
2023/08/28 by Theresa Swift, Carl Andersen · 2 voices
Computer Science · #Artificial intelligence #Computer science #Constraint programming #Janus #Logic programming #Natural Language Processing Techniques #Programming language #Prolog #Python (programming language) #Software Engineering Research #Theoretical computer science #Topic Modeling
- Constraint programming approach for multi-resource-constrained unrelated parallel machine scheduling problem with sequence-dependent setup times
2021/02/17 by Pinar Yunusoglu, Pınar Yunusoğlu, Seyda Topaloglu Yildiz +1 · 2 citations
Engineering · Mathematics · #Algorithm #Assembly Line Balancing Optimization #Benchmark (surveying) #Branch and bound #Computation #Computer science #Constraint programming #Distributed computing #Job shop scheduling #Mathematical optimization #Mathematics #Optimization and Packing Problems #Resource constraints #Schedule #Scheduling (production processes) #Scheduling and Optimization Algorithms #Sequence (biology) #Stochastic programming
- The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
2020/01/01 by Ciaran McCreesh, Patrick Prosser, James Trimble · 2 citations
Computer Science · Mathematics · #Advanced Graph Neural Networks #Artificial intelligence #Computer science #Constraint Satisfaction and Optimization #Constraint programming #Domain (mathematical analysis) #Graph #Graph Theory and Algorithms #Induced subgraph isomorphism problem #Inference #Matching (statistics) #Mathematical optimization #Mathematics #Programming language #Range (aeronautics) #Solver #Subgraph isomorphism problem #Theoretical computer science
- Experimental Evaluation of Subgraph Isomorphism Solvers
2019/01/01 by Christine Solnon · 1 citation
Computer Science · Mathematics · #Advanced Graph Neural Networks #Algorithm #Computer science #Constraint (computer-aided design) #Constraint Satisfaction and Optimization #Constraint programming #Graph #Graph Theory and Algorithms #Graph isomorphism #Induced subgraph isomorphism problem #Line graph #Mathematical optimization #Mathematics #Subgraph isomorphism problem #Suite #Theoretical computer science
- Colouring, constraint satisfaction, and complexity
2008/10/22 by Pavol Hell, Jaroslav Nešetřil · 1 citation
Computer Science · Mathematics · #Advanced Graph Theory Research #Artificial intelligence #Class (philosophy) #Complexity and Algorithms in Graphs #Complexity of constraint satisfaction #Computer science #Conjecture #Constraint (computer-aided design) #Constraint graph #Constraint programming #Constraint satisfaction #Constraint satisfaction dual problem #Constraint satisfaction problem #Discrete mathematics #Focus (optics) #Graph #Graph Labeling and Dimension Problems #Homomorphism #Local consistency #Mathematical optimization #Mathematics #Theoretical computer science
- Using Constraint Programming to Solve the Maximum Clique Problem
2003/01/01 by Jean-Charles Régin · 1 citation
Computer Science · Mathematics · #Advanced Graph Theory Research #Cardinality (data modeling) #Clique #Clique graph #Clique problem #Combinatorics #Complexity and Algorithms in Graphs #Computer science #Constraint (computer-aided design) #Constraint Satisfaction and Optimization #Constraint programming #Graph #Graph power #Line graph #Mathematical optimization #Mathematics #Pathwidth #Stochastic programming
- Solving large combinatorial problems in logic programming
1990/01/01 by Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck · 1 citation
Computer Science · Mathematics · #Artificial intelligence #Computer science #Concurrent constraint logic programming #Constraint (computer-aided design) #Constraint Satisfaction and Optimization #Constraint logic programming #Constraint programming #Constraint satisfaction #Declarative programming #Fifth-generation programming language #Firmware #Functional logic programming #Inductive programming #Logic programming #Logic, programming, and type systems #Mathematical optimization #Mathematics #Model-Driven Software Engineering Techniques #Programming language #Programming paradigm #Prolog #Theoretical computer science