Santiago Franco
4 papers
· 2016–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(8)
π
Conference Polyglot
(2)
π
Academic Marathon
(10)
π
Renaissance Researcher
(5)
π£
Hot Topic Early Bird
Conferences
IJCAI (3)
AAAI (1)
Top co-authors
Keywords
automated planning
(1)
heuristic search
(1)
formal verification
(1)
logical representation
(1)
heuristic function
(1)
neural theorem proving
(1)
traffic management
(1)
pattern database
(1)
a* search
(1)
symbolic search
(1)
a* algorithm
(1)
linked datum
(1)
interactive theorem prover
(1)
abstraction heuristic
(1)
urban road network
(1)
air quality
(1)
complementary heuristics
(1)