Login / Signup
Charlie Murphy
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 3
Top Topics
Perceptron Algorithm
Rapid Convergence
Convergence Theorem
Times Faster
Top Venues
MAPL@PLDI
VMCAI
CAV (1)
</>
Publications
</>
Charlie Murphy
,
Zachary Kincaid
Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement.
CAV (1)
(2024)
Charlie Murphy
,
Zachary Kincaid
A Practical Algorithm for Structure Embedding.
VMCAI
(2019)
Charlie Murphy
,
Patrick Gray
,
Gordon Stewart
Verified perceptron convergence theorem.
MAPL@PLDI
(2017)