Hybrid planning for challenging construction problems: an answer set programming approach. (English) Zbl 07702944
MSC:
68Txx
Found 23 Documents (Results 1–23)
Ofelimos: combinatorial optimization via proof-of-useful-work. A provably secure blockchain protocol. (English) Zbl 1517.94100
Dodis, Yevgeniy (ed.) et al., Advances in cryptology – CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15–18, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13508, 339-369 (2022).
On distinguishing sets of structures by first-order sentences of minimal quantifier rank. (English) Zbl 1434.03090
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 189-208 (2019).
Solving real-world sized container pre-marshalling problems with an iterative deepening branch-and-bound algorithm. (English) Zbl 1380.90062
A biased random-key genetic algorithm for the container pre-marshalling problem. (English) Zbl 1349.90563
History-dependent scheduling: models and algorithms for scheduling with general precedence and sequence dependence. (English) Zbl 1349.90336
MSC:
90B35
A complete parameterized complexity analysis of bounded planning. (English) Zbl 1320.68096
MSC:
68Q25
Loading, unloading and premarshalling of stacks in storage areas: survey and classification. (English) Zbl 1339.90006
A new mixed integer program and extended look-ahead heuristic algorithm for the block relocation problem. (English) Zbl 1317.90211
A mathematical formulation and complexity considerations for the blocks relocation problem. (English) Zbl 1244.90164
On SAT instance classes and a method for reliable performance experiments with SAT solvers. (English) Zbl 1100.68575
Blocks World revisited. (English) Zbl 0969.68136
MSC:
68T20
Using temporal logics to express search control knowledge for planning. (English) Zbl 0939.68827
MSC:
68T20
Filter Results by …
Document Type
- Journal Articles (21)
- Collection Articles (2)
all
top 5
Author
- Arthanari, Tiru Subramanian (2)
- Bäckström, Christer (2)
- Kambhampati, Subbarao (2)
- Ku, Dusan (2)
- Nau, Dana S. (2)
- Tanaka, Shunji (2)
- Tierney, Kevin (2)
- Voß, Stefan (2)
- Ahmad, Faseeh (1)
- Alves Rocha, Thiago (1)
- Bacchus, Fahiem (1)
- Brglez, Franc (1)
- Caserta, Marco (1)
- Dayama, Niraj Ramesh (1)
- Erdem, Esra (1)
- Ernst, Andreas T. (1)
- Erol, Kutluhan (1)
- Fitzi, Matthias (1)
- Helmert, Malte (1)
- Hottung, André (1)
- Hussein, Mazen I. (1)
- Jiao, Wenpin (1)
- Jonsson, Peter (1)
- Jovanović, Raka (1)
- Kabanza, Froduald (1)
- Kiayias, Aggelos (1)
- Knust, Sigrid (1)
- Krishnamoorthy, Mohan (1)
- Lehnfeld, Jana (1)
- Li, Xiaoyu (1)
- Martins Ferreir, Francicleber (1)
- Martins, Ana Teresa (1)
- Mizuno, Fumitaka (1)
- Narayanan, Vishnu (1)
- Nebel, Bernhard (1)
- Ordyniak, Sebastian (1)
- Panagiotakos, Giorgos (1)
- Patoglu, Volkan (1)
- Petering, Matthew E. H. (1)
- Rangaraj, Narayan (1)
- Russell, Alexander C. (1)
- Schwarze, Silvia (1)
- Slaney, John K. (1)
- Stallmann, Matthias F. M. (1)
- Subrahmanian, V. S. (1)
- Szeider, Stefan (1)
- Thiébaux, Sylvie (1)
- Tuba, Milan (1)
- Zhuo, Hankz Hankui (1)
