| Minerl: A large-scale dataset of minecraft demonstrations WH Guss, B Houghton, N Topin, P Wang, C Codel, M Veloso, ... arXiv preprint arXiv:1907.13440, 2019 | 239 | 2019 |
| The MineRL 2019 competition on sample efficient reinforcement learning using human priors WH Guss, C Codel, K Hofmann, B Houghton, N Kuno, S Milani, ... arXiv preprint arXiv:1904.10079, 2019 | 35 | 2019 |
| Verified encodings for SAT solvers CR Codel, J Avigad, MJH Heule 2023 Formal Methods in Computer-Aided Design (FMCAD), 141-151, 2023 | 6 | 2023 |
| Bipartite perfect matching benchmarks CR Codel, JE Reeves, MJH Heule, RE Bryant Pragmatics of SAT, 2021 | 4 | 2021 |
| Formal Verification of the Empty Hexagon Number B Subercaseaux, W Nawrocki, J Gallicchio, C Codel, M Carneiro, ... arXiv preprint arXiv:2403.17370, 2024 | 3 | 2024 |
| Pigeon Hole and Mutilated Chessboard with Mixed Constraint Encodings and Symmetry-Breaking CR Codel, JE Reeves, RE Bryant SAT COMPETITION 2023, 72, 0 | 2 | |
| TaSSAT: Transfer and Share SAT MS Chowdhury, CR Codel, MJH Heule International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
| Verified substitution redundancy checking C Codel, J Avigad, MJH Heule # PLACEHOLDER_PARENT_METADATA_VALUE#, 186-196, 2024 | 1 | 2024 |
| A linear weight transfer rule for local search MS Chowdhury, CR Codel, MJH Heule NASA Formal Methods Symposium, 447-463, 2023 | 1 | 2023 |
| Verifying SAT Encodings in Lean C Codel Carnegie Mellon University Pittsburgh, PA, 2022 | 1 | 2022 |
| A Study of Divide and Distribute Fixed Weights and its Variants CR Codel, MJ Heule Pragmatics of SAT, 2021 | 1 | 2021 |
| EmptyHexagonLean B Subercaseaux, W Nawrocki, J Gallicchio, C Codel, M Carneiro, ... Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | | 2024 |
| Extending DRAT to SMT S Hitharth, C Codel, H Lachnitt, B Dutertre # PLACEHOLDER_PARENT_METADATA_VALUE#, 18-28, 2024 | | 2024 |
| A Linear Weight Transfer Rule for Local Search M Solimul Chowdhury, CR Codel, MJH Heule arXiv e-prints, arXiv: 2303.14894, 2023 | | 2023 |
| 2022 Theses by Author S BALI, A BAKSHI, B BERG, E BLACK, S BOUCHER, A CHUNG, ... | | |
| ATRE, Nirav CMU-CS-22-117 BAKSHI, Ainesh CMU-CS-22-146 BALI, Shreya CMU-CS-22-126 BARRITT, Brian CMU-CS-22-125 B BERG, E BLACK, J BLAKLEY, S BOUCHER, E CHIANG, A CHUNG, ... | | |
| 2022 MS Theses by Author S BALI, C CODEL, O DADFAR, S DAVE, A FIORINO, K JAIN, N JAIN, ... | | |
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
