Seguir
Judith Clymo
Judith Clymo
Dirección de correo verificada de liverpool.ac.uk
Título
Citado por
Citado por
Año
Data generation for neural programming by example
J Clymo, H Manukian, N Fijalkow, A Gascón, B Paige
International Conference on Artificial Intelligence and Statistics, 3450-3459, 2020
132020
Short proofs in QBF expansion
O Beyersdorff, L Chew, J Clymo, M Mahajan
Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019
82019
Relating size and width in variants of Q-resolution
J Clymo, O Beyersdorff
Information Processing Letters 138, 1-6, 2018
82018
The equivalences of refutational QRAT
L Chew, J Clymo
Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019
62019
How QBF expansion makes strategy extraction hard
L Chew, J Clymo
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
52020
Proof Complexity for Quantified Boolean Formulas
JC Clymo
University of Leeds, 2021
42021
KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge.
SJ Hong, B Bennett, J Clymo, LG Álvarez
AAAI Spring Symposium: MAKE, 2022
12022
More on Size and Width in QBF Resolution.
O Beyersdorff, J Clymo
Electron. Colloquium Comput. Complex. 25, 25, 2018
12018
The Riis Complexity Gap for QBF Resolution.
O Beyersdorff, J Clymo, SS Dantchev, B Martin
Electron. Colloquium Comput. Complex. 25, 24, 2018
2018
Short Proofs in QBF Expansion
J Clymo
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–10