Follow
Joseph Reeves
Joseph Reeves
Verified email at andrew.cmu.edu - Homepage
Title
Cited by
Cited by
Year
Preprocessing of propagation redundant clauses
JE Reeves, MJH Heule, RE Bryant
Journal of Automated Reasoning 67 (3), 31, 2023
132023
From clauses to klauses
JE Reeves, MJH Heule, RE Bryant
International Conference on Computer Aided Verification, 110-132, 2024
72024
Multi-level sample importance ranking based progressive transmission strategy for time series body sensor data
M Li, J Reeves, C Moreno
Computer Networks 136, 119-127, 2018
72018
Moving definition variables in quantified Boolean formulas
JE Reeves, MJH Heule, RE Bryant
International Conference on Tools and Algorithms for the Construction and …, 2022
52022
Propositional proof skeletons
JE Reeves, B Kiesl-Reiter, MJH Heule
International Conference on Tools and Algorithms for the Construction and …, 2023
42023
Bipartite perfect matching benchmarks
CR Codel, JE Reeves, MJH Heule, RE Bryant
Pragmatics of SAT, 2021
42021
The impact of bounded variable elimination on solving pigeonhole formulas
JE Reeves, M Heule
Proceedings of Pragmatics of (SAT), 58, 2021
32021
Data reliability-aware and cloud-assisted software infrastructure for body area networks
J Reeves, C Moreno, M Li, C Hu, B Prabhakaran
Advances in Body Area Networks I: Post-Conference Proceedings of BodyNets …, 2019
32019
Context-Aware Analysis Scheduling in Wireless Body Area Networks
J Reeves, M Li
2019 International Conference on Computing, Networking and Communications …, 2019
22019
Pigeon Hole and Mutilated Chessboard with Mixed Constraint Encodings and Symmetry-Breaking
CR Codel, JE Reeves, RE Bryant
SAT COMPETITION 2023, 72, 0
2
Preprocessors PReLearn and ReEncode entering the SAT competition 2023
JE Reeves, RE Bryant
SAT COMPETITION 2023, 23, 2023
12023
The Impact of Literal Sorting on Cardinality Constraint Encodings
JE Reeves, J Filipe, MC Hsu, R Martins, MJH Heule
2025
Cardinality Constraints in Automated Reasoning
JE REEVES
Cardinality Constraints in Satisfiability Solving
JE Reeves
The system can't perform the operation now. Try again later.
Articles 1–14