Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Marijn Heule

Associate Professor

Carnegie Mellon University

United States

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in United States

Articles (13)

Year:

2027

Year:

2027

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Collaborators (6)

Bryan Parno

Associate Professor

Carnegie Mellon University

UNITED STATES

View details

Randal Bryant

Founders University Professor Emeritus

Carnegie Mellon University

UNITED STATES

View details

Markus Anders

Substitute professor

Technische Universität Kaiserslautern

GERMANY

View details

Jasmin Christian Blanchette

Ludwig-Maximilians-Universität München

GERMANY

View details

John Mackey

Teaching Professor

Carnegie Mellon University

UNITED STATES

View details

Jeremy Avigad

Professor

Carnegie Mellon University

UNITED STATES

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Marijn Heule

Research Interests

Make your next move.

Explore related searches

Articles (13)

Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery

Toward Satisfiability Modulo Realizability

A General Approach for SMT Proof Skeletons

Automated Symmetric Constructions in Discrete Geometry

Orbitopal Fixing in SAT

Tao’s Equational Proof Challenge Accepted

Certified Knowledge Compilation with Application to Formally Verified Model Counting

Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification

Unfolding Boxes with Local Constraints

Generating Extended Resolution Proofs with a BDD-Based SAT Solver

An Automated Approach to the Collatz Conjecture

SAT-Inspired Eliminations for Superposition

Tighter Bounds on Directed Ramsey Number R(7)

Collaborators (6)

Bryan Parno

Randal Bryant

Markus Anders

Jasmin Christian Blanchette

John Mackey

Jeremy Avigad

Make your next move.