Preprocessing of propagation redundant clauses JE Reeves, MJH Heule, RE Bryant Journal of Automated Reasoning 67 (3), 31, 2023 | 13 | 2023 |
From clauses to klauses JE Reeves, MJH Heule, RE Bryant International Conference on Computer Aided Verification, 110-132, 2024 | 7 | 2024 |
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 | 7 | 2018 |
Moving definition variables in quantified Boolean formulas JE Reeves, MJH Heule, RE Bryant International Conference on Tools and Algorithms for the Construction and …, 2022 | 5 | 2022 |
Propositional proof skeletons JE Reeves, B Kiesl-Reiter, MJH Heule International Conference on Tools and Algorithms for the Construction and …, 2023 | 4 | 2023 |
Bipartite perfect matching benchmarks CR Codel, JE Reeves, MJH Heule, RE Bryant Pragmatics of SAT, 2021 | 4 | 2021 |
The impact of bounded variable elimination on solving pigeonhole formulas JE Reeves, M Heule Proceedings of Pragmatics of (SAT), 58, 2021 | 3 | 2021 |
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 | 3 | 2019 |
Context-Aware Analysis Scheduling in Wireless Body Area Networks J Reeves, M Li 2019 International Conference on Computing, Networking and Communications …, 2019 | 2 | 2019 |
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 | 1 | 2023 |
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 | | |