- Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi:
Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving. ACM Trans. Softw. Eng. Methodol. 33(1): 12:1-12:32 (2024) - Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li, Yuming Zhou:
Corrections to "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving". IEEE Trans. Software Eng. 50(1): 158 (2024) - Noha M. Hamza, Ruhul A. Sarker, Daryl Essam, Saber M. Elsayed:
Constraint Consensus for Solving Large-scale Constrained Optimization Problems. CEC 2024: 1-8 - Augustin Delecluse, Pierre Schaus:
Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming (Short Paper). CP 2024: 36:1-36:12 - Jiachen Zhang, J. Christopher Beck:
Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming. CP 2024: 32:1-32:21 - Shatha Algarni, Boris Glavic, Seokki Lee, Adriane Chapman:
Solving Why Not Questions for Aggregate Constraints Through Query Repair. EuroS&P Workshops 2024: 592-596 - Benjamin Bordais, Daniel Neider, Rajarshi Roy:
Learning Branching-Time Properties in CTL and ATL via Constraint Solving. FM (1) 2024: 304-323 - Kamrul Hasan Rahi, Hemant K. Singh, Tapabrata Ray:
Towards solving expensive optimization problems with heterogeneous constraint costs. GECCO Companion 2024: 2032-2040 - Hariprasadh Govindasamy, Babak Esfandiari, Paulo Garcia:
Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs. ACM Great Lakes Symposium on VLSI 2024: 305-309 - Haoze Li, Qiang Wang, Sitian Qin, Xinrui Jiang:
An Adaptive Neurodynamic Algorithm for Solving Matrix Valued Optimization Problem with Multiple Constraints. ICACI 2024: 79-86 - Guillaume Fertin, Éric Monfroy, Claudia Vasconcellos-Gaete:
Best of Both Worlds: Solving the Cyclic Bandwidth Problem by Combining Pre-existing Knowledge and Constraint Programming Techniques. ICCS (5) 2024: 197-211 - Yifan Gu, Hua Xu, Rui Li, Jinfeng Yang:
An Improved Genetic Algorithm Combining Tabu Search for Solving Flexible Job Shop Scheduling Problem with Transportation and Start-Stop Constraints. ICIC (2) 2024: 295-307 - Sana Jalilvand, Ali Bozorgi-Amiri, Mehdi Mahmoodjanloo, Armand Baboli:
Solving the Car Sequencing Problem with Cross-Ratio Constraints Using Constraint Programming Approach. ICIEA-EU 2024: 121-132 - Tatjana Chavdarova, Tong Yang, Matteo Pagliardini, Michael I. Jordan:
A Primal-Dual Approach to Solving Variational Inequalities with General Constraints. ICLR 2024 - Lei Zhang, Mukesh Ghimire, Zhe Xu, Wenlong Zhang, Yi Ren:
Pontryagin neural operator for solving general-sum differential games with parametric state constraints. L4DC 2024: 1728-1740 - Philippe Codognet:
A Constraint Programming Approach for QUBO Solving and Quantum Annealing. Programming 2024 - Haggi Do, Hakmo Son, Jinwhan Kim:
An Efficient Method for Solving Routing Problems With Energy Constraints Using Reinforcement Learning. UR 2024: 293-298 - Hariprasadh Govindasamy, Babak Esfandiari, Paulo Garcia:
Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs. CoRR abs/2401.07429 (2024) - Javier Romero, Torsten Schaub, Klaus Strauch:
On the generalization of learned constraints for ASP solving in temporal domains. CoRR abs/2401.16124 (2024) - Imanol Echeverria, Maialen Murua, Roberto Santana:
Leveraging Constraint Programming in a Deep Learning Approach for Dynamically Solving the Flexible Job-Shop Scheduling Problem. CoRR abs/2403.09249 (2024) - Aidan Curtis, Nishanth Kumar, Jing Cao, Tomás Lozano-Pérez, Leslie Pack Kaelbling:
Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction. CoRR abs/2406.05572 (2024) - Benjamin Bordais, Daniel Neider, Rajarshi Roy:
Learning Branching-Time Properties in CTL and ATL via Constraint Solving. CoRR abs/2406.19890 (2024) - Arash Mozhdehi, Mahdi Mohammadizadeh, Xin Wang:
Edge-DIRECT: A Deep Reinforcement Learning-based Method for Solving Heterogeneous Electric Vehicle Routing Problem with Time Window Constraints. CoRR abs/2407.01615 (2024) - Shmuel Berman, Kathleen R. McKeown, Baishakhi Ray:
Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems. CoRR abs/2407.03956 (2024) - Moritz Lichter, Benedikt Pago:
Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems. CoRR abs/2407.09097 (2024) - 2023
- Jonasz Staszek:
Modelling and solving the integrated locomotive scheduling and driver assignment problem with an extension to graph 2-list-colouring problem with compatibility constraints (Über das Modellieren und Lösen des integrierten Lokomotivplanungs- und Lokführerzuweisungsproblems mit einer Erweiterung auf das Problem der 2-Listen-Färbung von Graphen mit Kompatibilitätsnebenbedingungen). University of Erlangen-Nuremberg, Germany, 2023 - Jun Huang, Qingfeng Wang, Wenyou Qiao, Zhiqin Liu, Yaobin Wang:
Constraints Maintaining Mesh Refinement Method for Solving Whole Trajectory of Discontinuous Aerodynamics. IEEE Access 11: 110086-110101 (2023) - Roberto Montemanni, Mauro Dell'Amico:
Solving the Parallel Drone Scheduling Traveling Salesman Problem via Constraint Programming. Algorithms 16(1): 40 (2023) - David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu, Tran Cao Son:
Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints. Algorithms 16(4): 216 (2023) - Ziyi Yin, Rafael Orozco, Mathias Louboutin, Felix J. Herrmann:
Solving multiphysics-based inverse problems with learned surrogates and constraints. Adv. Model. Simul. Eng. Sci. 10(1): 14 (2023)