Search Results - Codel, Cayden

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Orbitopal Fixing in SAT by Anders, Markus, Codel, Cayden, Heule, Marijn J. H.

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:
  2. 2
    Cover Image

    Formal Verification of the Empty Hexagon Number by Subercaseaux, Bernardo, Nawrocki, Wojciech, Gallicchio, James, Codel, Cayden, Carneiro, Mario, Heule, Marijn J. H.

    Published 2024
    Get full text
    Preprint

    Save to List
    Saved in:

Search Tools: