Open AccessMulti-Agent Path Finding: A New Boolean Encoding
Author(s) -
Roberto Asín Achá,
Rodrigo López,
Sebastian Hagedorn,
Jorge A. Baier
Publication year - 2022
Publication title -
journal of artificial intelligence research/the journal of artificial intelligence research
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.79
H-Index - 123
eISSN - 1943-5037
pISSN - 1076-9757
DOI - 10.1613/jair.1.13818
Subject(s) - maximum satisfiability problem , swap (finance) , encoding (memory) , computer science , boolean satisfiability problem , solver , heuristic , satisfiability , theoretical computer science , encode , genetic programming , binary number , algorithm , artificial intelligence , boolean function , mathematics , programming language , arithmetic , biochemistry , chemistry , finance , economics , gene