Filters
Mutex Propagation for SAT-based Multi-agent Path Finding
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
SPEN: A Solver for Separation Logic
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
SAT Competition 2020
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Simple Direct Propositional Encoding of Cooperative Path Finding Simplified Yet More
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
JD - Využití počítačů, robotika a její aplikace
- 2014 •
- O
Rok uplatnění
O - Ostatní výsledky
A Simple Approach to Solving Cooperative Path-Finding as Propositional Satisfiability Works Well
JD - Využití počítačů, robotika a její aplikace
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Classes of Boolean Formulae with Effectively Solvable SAT
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
SAT Competition 2018
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jost •
- Link
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
SAT Modulo Differential Equation Simulations
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 out of 1 141