Filters
Show more
Show more
Show less
Show less
Show less
Show more
Show more
More filters
Results
A Simple Approach to Solving Cooperative Path-Finding as Propositional Satisfiability Works Well
problem (CPF) by translating it to propositional satisfiability (SAT). A novel very simple SAT encoding of CPF is proposed and compared with exist-ing elaborate encodings. The conducted experimental evaluation sho...
JD - Využití počítačů, robotika a její aplikace
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Compact Representations of Cooperative Path-Finding as SAT Based on Matchings in Bipartite Graphs
other. Anovel SAT encoding of CPF is suggested. The novel encoding uses the concept exist-ing encodings for CPF and also that the SAT based methods dominates over problem (CPF) by translating it to propos...
JD - Využití počítačů, robotika a její aplikace
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors
A novel eager encoding of the ALLDIFFERENT constraint over bit-vectors is presented in this short paper. It is based on 1-to-1 mapping of the input bit-vectors to a linearly ordered set of auxiliary bit-vectors. Experiments with four SAT...
IN - Informatika
- 2015 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
Simple Direct Propositional Encoding of Cooperative Path Finding Simplified Yet More
encod-ings. It has been also shown that the SAT based methods dominates over problem (CPF) by translating it to propositional satisfiability (SAT). The task in CPF elaborate encodings based on binary encodings...
JD - Využití počítačů, robotika a její aplikace
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Lessons Learned from the Effort to Solve Cooperative Path-Finding Optimally: Reductions to Propositional Satisfiability
encodings. It has been also shown that the SAT based methods dominates over A* based problem (CPF) by translating it to propositional satisfiability (SAT). The task in CPF with eachother. Recent findings indicate that a si...
JD - Využití počítačů, robotika a její aplikace
- 2014 •
- O
Rok uplatnění
O - Ostatní výsledky
Application of Propositional Satistiability to Special Cases of Cooperative Path-Planning
A problem of cooperative path-planning is addressed from the perspective of propositional satisfiability in this paper. Two new encodings of the problem as SAT are proposed and evalu-ated....
JD - Využití počítačů, robotika a její aplikace
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
On Propositional Encodings of Cooperative Path-finding
The approach to solving cooperative-path finding (CPF) as propositional satisfiability (SAT) is revisited in this paper. An alternative encoding that exploits multi-valued state variables representing locations where a given agent r...
JD - Využití počítačů, robotika a její aplikace
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
Relaxing the Relaxed Exist-Step Parallel Planning Semantics
Solving planning problems via translation to satisfiability (SAT) is one of the most successful approaches to automated planning. We propose a new encoding scheme which encodes a planning problem represented in the SAS+ for...
IN - Informatika
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
A SAT-Based Approach to Cooperative Path-Finding Using All-Different Constraints
The approach to solving cooperative-path finding (CPF) as satisfiability (SAT) is revisited. An alternative encoding that exploits multi-valued state variables representing locations where a given agent resides is suggested....
JD - Využití počítačů, robotika a její aplikace
- 2012 •
- O
Rok uplatnění
O - Ostatní výsledky
Efficient SAT Approach to Multi-Agent Path Finding under the Sum of Costs Objective
are able to have a reasonable number of variables in our SAT encoding. We then further improve the encoding by borrowing ideas from ICTS, a search-based solver. Experimental evaluation on several domains showed that there ...
JD - Využití počítačů, robotika a její aplikace
- 2016 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 5 072