オープン アクセスを義務付けられた論文 - Peter Stuckey詳細
一般には非公開: 14 件
SAT: Projected model counting
RA Aziz, G Chu, C Muise, P Stuckey
International Conference on Theory and Applications of Satisfiability …, 2015
委任: Australian Research Council
Using constraint programming for solving RCPSP/max-cal
S Kreter, A Schutt, PJ Stuckey
Constraints 22, 432-462, 2017
委任: US Department of Defense
Logistics optimization for a coal supply chain
G Belov, NL Boland, MWP Savelsbergh, PJ Stuckey
Journal of Heuristics 26 (2), 269-300, 2020
委任: Australian Research Council
Abstract interpretation over non-lattice abstract domains
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
委任: Australian Research Council
Learning value heuristics for constraint programming
G Chu, PJ Stuckey
Integration of AI and OR Techniques in Constraint Programming: 12th …, 2015
委任: Australian Research Council
Synthesizing optimal switching lattices
G Gange, H Søndergaard, PJ Stuckey
ACM Transactions on Design Automation of Electronic Systems (TODAES) 20 (1 …, 2014
委任: Australian Research Council
Exact approaches to the multi-agent collective construction problem
E Lam, PJ Stuckey, S Koenig, TKS Kumar
Principles and Practice of Constraint Programming: 26th International …, 2020
委任: US National Science Foundation
Modeling and solving project scheduling with calendars
S Kreter, A Schutt, PJ Stuckey
Principles and Practice of Constraint Programming: 21st International …, 2015
委任: Australian Research Council
Lagrangian Decomposition via sub-problem Search
G Chu, G Gange, PJ Stuckey
Integration of AI and OR Techniques in Constraint Programming: 13th …, 2016
委任: Australian Research Council
Sequential precede chain for value symmetry elimination
G Gange, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2018
委任: US Department of Defense, Australian Research Council
Disjunctive interval analysis
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Static Analysis Symposium, 144-165, 2021
委任: US National Science Foundation
Lightweight nontermination inference with CHCs
B Kafle, G Gange, P Schachte, H Søndergaard, PJ Stuckey
International Conference on Software Engineering and Formal Methods, 383-402, 2021
委任: Government of Spain
Symmetry declarations for MiniZinc
N Baxter, G Chu, PJ Stuckey
Proceedings of the Australasian Computer Science Week Multiconference, 1-10, 2016
委任: Australian Research Council
Optimization of the Storage Location Assignment Problem Using Nested Annealing
J Oxenstierna, LJ van Rensburg, PJ Stuckey, V Krueger
International Conference on Operations Research and Enterprise Systems, 220-244, 2022
委任: Knut and Alice Wallenberg Foundation
一般公開: 172 件
Searching with consistent prioritization for multi-agent path finding
H Ma, D Harabor, PJ Stuckey, J Li, S Koenig
Proceedings of the AAAI conference on artificial intelligence 33 (01), 7643-7650, 2019
委任: US National Science Foundation
Smart predict-and-optimize for hard combinatorial optimization problems
J Mandi, PJ Stuckey, T Guns
Proceedings of the AAAI conference on artificial intelligence 34 (02), 1603-1610, 2020
委任: Research Foundation (Flanders)
Integrated task assignment and path planning for capacitated multi-agent pickup and delivery
Z Chen, J Alonso-Mora, X Bai, DD Harabor, PJ Stuckey
IEEE Robotics and Automation Letters 6 (3), 5816-5823, 2021
委任: Australian Research Council, National Natural Science Foundation of China …
Solving RCPSP/max by lazy clause generation
A Schutt, T Feydy, PJ Stuckey, MG Wallace
Journal of scheduling 16, 273-289, 2013
委任: Australian Research Council
MAPF-LNS2: Fast repairing for multi-agent path finding via large neighborhood search
J Li, Z Chen, D Harabor, PJ Stuckey, S Koenig
Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 10256 …, 2022
委任: US National Science Foundation, Australian Research Council
Lazy CBS: implicit conflict-based search using lazy clause generation
G Gange, D Harabor, PJ Stuckey
Proceedings of the international conference on automated planning and …, 2019
委任: Australian Research Council
公開と助成金に関する情報は、コンピュータ プログラムによって自動的に決定されます