Judith Clymo

According to our database, Judith Clymo authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Riis Complexity Gap for QBF Resolution.

Olaf Beyersdorff, Judith Clymo, Stefan S. Dantchev, Barnaby Martin

J. Satisf. Boolean Model. Comput., 2024

2022

KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge.

Suk Joon Hong, Brandon Bennett, Judith Clymo, Lucía Gómez Álvarez

Proceedings of the AAAI 2022 Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE 2022), 2022

2020

Proof complexity for quantified Boolean formulas

Judith Clymo

PhD thesis, 2020

Data Generation for Neural Programming by Example.

Judith Clymo, Adrià Gascón, Brooks Paige, Nathanaël Fijalkow, Haik Manukian

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019

How QBF Expansion Makes Strategy Extraction Hard.

Leroy Chew, Judith Clymo

Electron. Colloquium Comput. Complex., 2019

The Equivalences of Refutational QRAT.

Leroy Chew, Judith Clymo

Electron. Colloquium Comput. Complex., 2019

2018

Relating size and width in variants of Q-resolution.

Judith Clymo, Olaf Beyersdorff

Inf. Process. Lett., 2018

Short Proofs in QBF Expansion.

Olaf Beyersdorff, Leroy Chew, Judith Clymo, Meena Mahajan

Electron. Colloquium Comput. Complex., 2018

More on Size and Width in QBF Resolution.

Olaf Beyersdorff, Judith Clymo

Electron. Colloquium Comput. Complex., 2018