Old Web
English
Sign In
Acemap
>
Paper
>
A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers.
A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers.
2021
Roberto Javier Asín Achá
Rodrigo Lopez
Sebastian Hagedorn
Jorge A. Baier
Keywords:
Encoding (memory)
Computer science
Maximum satisfiability problem
Theoretical computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]