Sign in
Avi Hayoun
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 7
Top Topics
Extended Abstract
Search Strategies
Heuristic Search
Lower Bound
Top Venues
SOCS
CoRR
LREC
DISC
</>
Publications
</>
Uri Abraham
,
Avi Hayoun
Linearizability Analysis of the Contention-Friendly Binary Search Tree.
CoRR
(2023)
Gal Amram
,
Avi Hayoun
,
Lior Mizrahi
,
Gera Weiss
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure.
DISC
(2022)
Shahaf S. Shperberg
,
Ariel Felner
,
Nathan R. Sturtevant
,
Solomon Eyal Shimony
,
Avi Hayoun
Bidirectional Heuristic Search: Expanding Nodes by a Lower Bound.
IJCAI
(2020)
Shahaf S. Shperberg
,
Ariel Felner
,
Nathan R. Sturtevant
,
Solomon Eyal Shimony
,
Avi Hayoun
Enriching Non-Parametric Bidirectional Search Algorithms.
AAAI
(2019)
Shahaf S. Shperberg
,
Ariel Felner
,
Nathan R. Sturtevant
,
Solomon Eyal Shimony
,
Avi Hayoun
Enriching Non-Parametric Bidirectional Search Algorithms - Extended Abstract.
SOCS
(2019)
Shahaf S. Shperberg
,
Ariel Felner
,
Solomon Eyal Shimony
,
Nathan R. Sturtevant
,
Avi Hayoun
Improving Bidirectional Heuristic Search by Bounds Propagation.
SOCS
(2019)
Avi Hayoun
,
Michael Elhadad
The Hebrew FrameNet Project.
LREC
(2016)