introduction, scientic, increased, creates, parking, common, nding, frustrating, experience, valet, rare, estonia, america, retrieve, requested, optimize, problem, require, less, automated, human, robot, system, explored, thesis, special, freely, similar, regular, visiting, venue, notify, software, dictates, incoming, retrieval, request, planning, robots, passageways, parked, entering, exiting, densely, blocking, lifted, moved, minimized, wasted, waiting, cooperative, independent, agents, dierent, layouts, areas, connected, corridors, algorithms, rectangular, grid, specially, designed, layout, specics, algorithm, operational, generally, expensive, purpose, integer, programming, operations, optimization, problems, described, tackle, sub, initial, conguration, terminal, nd, sequence, actions, transform, minal, shortest, weights, energy, model, unlike, heuristic, us, guarantee, solution, optimal, physical, parameters, meters, smaller, dimensions, action, lifting, lowering, per, carrying, meter, loaded, accelerate, decelerate, changing, previous, paragraph, estimated, basis, reality, idealized, actual, perfectly, valid, interpret, required, reversing, acceleration, interpretation, maximum, whether, according, newtons, greater, mass, lower, meaning, unladen, assumed, dene, fn, orth, ast, outh, est, dimension, dened, correspond, geographical, denitions, adjacent, shorter, longer, versus, graph, movements, area, distance, traveled, distances, covered, accelerating, decelerating, additional, diagram, serves, illustration, movement, instantaneously, explicitly, shown, astorw, orthors, rst, desired, example, consider, total, needed, verify, average, formulation, discrete, multiples, timestep, timesteps, vertex, obstacle, degree, corresponding, robotempty, gure, kbe, labels, label, indistinguishable, usually, dormant, distinctive, interchangeable, suitable, recongure, congurations, node, statuses, status, unsolvable, considered, exactly, complete, simplications, theoretical, viewpoint, relevant, result, abstraction, simplify, uto, vin, constraint, intermediate, nodes, unoccupied, obtained, minimum, theorem, ncars, exists, linear, solved, colliding, applies, unlabeled, rms, random, user, specic, therefore, labeled, reconguration, implies, polynomialtime, approximation, scheme, vand, efrom, denition, dfrom, extensively, section, denote, iin, ri, iand, ir, lft, process, drp, dropping, descriptions, ob, ject, duration, uand, vwill, updated, maxg, subsets, decision, opposite, contains, consists, contain, mc, components, wlift, fri, ji, fir, drop[, rg, timestepsr, rr, represents, seperate, represent, continue, arriving, illustrated, decisions, destination, proposition, feasible, solutions, proof, explanations, variables, subsection, constraints, binary, allowed, occupied, layer, ttimesteps, tn, variable, indexing, index, specied, encode, combination, accurate, nstat, directed, vat, occu, indicate, introduce, function, dir, operating, determine, cont, talso, describing, clarify, vwith, neighbouring, continues, explaining, illustrate, diving, assumptions, remark, complexity, working, memory, humans, developing, consumed, manually, altering, verifying, manual, rewriting, testing, development, avoid, typos, vor, uinstead, occurrences, illustrations, infeasible, expected, outcomes, automatically, veried, jective, mentioned, min, xed, easily, display, images, depict, underlying, represented, vertices, text, identier, collision, collisions, force, output, infeasibility, oblige, collide, orthogonal, trying, explained, rectangles, causes, conditions, forced, actually, simultaneous, explanation, faster, invalid, handled, correctly, sideby, adding, minx, nally, checked, various, issue, failed, obtain, added, legal, accidentally, constrained, persistence, encourages, occupy, themselves, simultaneously, continuing, redundant, solver, provide, meaningful, bound, abbreviations, functions, notations, edg, vthat, din, clockwise, manner, logically, counterclockwise, disallow, completed, split, tinto, disjoint, ft, abbreviation, cos, neighbours, depending, getmt, wtakes, related, notion, component, getmc, remained, removed, remmc, partial, addmc, forbid, toccu, neighbour, tvariables, location, liftlift, using, subsubsection, type, progress, bijective, fdetermines, fwe, reminder, max, scope, simpler, inverse, disable, constructing, quantiers, combinations, later, easier, meanings, wcould, uwhat, fw, move^, wg, starting, skipping, remainder, current, immediately, nished, ift, addition, disabling, gou, wu, equivalent, goorcont, continued, goorcontstop, earlier, skipped, exist, obtaining, emust, possibilities, ti, reaching, vthe, tis, specifying, vafter, disappear, vto, adenote, frg, ifw, construct, imply, umore, ustatus, wmoves, minus, wwe, cosu, specify, uafter, uthe, uplus, subtle, details, uis, undened, bis, vstatus, whas, contained, originate, vhas, wv, moveable, similarly, vless, vcould, vis, vwas, unchanged, occurs, declare, applied, basic, ubetween, tand, union, flift, fdrop, tg, happened, blift, wl, liftg, wd, dropg, immediate, amove, fcos, expression, tj, subpart, changed, nstatu, future, wand, constrains, collect, acan, reasoning, ubut, entered, uat, tcould, equality, implied, ais, simulate, inequality, occue, denoted, vdenote, vfor, ignore, decrease, minimize, nal, positions, appendix, consist, standing, undesired, behaviour, cis, jw, mcj, dimensional, matrix, concerned, turned, doing, unnecessary, penalty, ddir, tmax, modication, penalties, performance, varied, greatly, customary, equalities, inequalities, dependant, jt, jin, calculations, jv, je, liftj, mct, vjw, ejw, although, counted, implementation, implementing, jor, generating, commercial, called, gurobi, advertised, mathematical, featured, academic, license, capable, solvers, models, easiest, licence, bindings, python, interpreted, constant, runtime, unwanted, fraction, solve, solving, hindered, code, version, precise, programmers, thinking, clauses, involved, unintuitive, finding, ve, proved, fortunately, parallel, adjacency, decomposition, internal, fourier, motzkin, elimination, university, tartu, \combinatorial, input, le, processes, outputs, contents, facet, enumeration, description, les, tedious, assignments, programs, generate, trivial, judgement, graphical, visualization, feedback, textual, depicted, reasonable, improving, implement, graphically, debugging, purposes, eort, de, facto, standard, interface, tkinter, keybindings, increase, visible, highlighted, displayed, screenshot, irreducible, inconsistent, subsystem, phase, errors, carefully, luckily, calculate, program, subset, minimal, basically, recheck, displays, bounds, tuning, mixed, altered, aect, automatic, command, grbtune, establish, baseline, established, improved, leaded, objective, reported, mipfocus, presolve, prepasses, switched, parameter, aggfill, brie, controls, focus, aggressiveness, pre, aggressive, limit, generations, ll, aggregations, larger, presolved, non, zeros, comparison, theory, research, developed, consecutive, progressive, minimization, minimizing, estimate, diers, considers, intel, core, hyper, threading, virtual, cpus, available, instructed, instances, randomly, generated, results, instance, hopefully, timelimit, passed, included, gap, tlimit, measurements, delivered, destinations, nds, incumbent, observation, variations, nonzeros, simplex, iterations, conclude, comparisons, managed, explore, conclusions, optimizing, tested, revealed, slightly, proposed, eld, wildly, predict, benchmarked, plausible, novel, requirements, currently, compared, evaluate, quality, existing, suited, handling, custom, systems, periods