Login / Signup
Sebastián Hagedorn
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Sat Solvers
Robocup Rescue
Pseudo Boolean
Real Valued
Top Venues
J. Artif. Intell. Res.
SOCS
</>
Publications
</>
Roberto Javier Asín Achá
,
Rodrigo López
,
Sebastián Hagedorn
,
Jorge A. Baier
Multi-Agent Path Finding: A New Boolean Encoding.
J. Artif. Intell. Res.
75 (2022)
Roberto Javier Asín Achá
,
Rodrigo López
,
Sebastián Hagedorn
,
Jorge A. Baier
A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers.
SOCS
(2021)