Santiago Franco
4 papers · 2016–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🌉
Interdisciplinary Bridge · Silver
🐣
Hot Topic Early Bird
Top co-authors
Research topics
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 data
(1)
interactive theorem prover
(1)
abstraction heuristic
(1)
urban road network
(1)
air quality
(1)
complementary heuristics
(1)