Cormac Kikkert (Cormac Kikkert Research)

Identifiers

• name variant Cormac Kikkert (Cormac Kikkert Research) 0.60 · backfill

Papers (1)

1. Modal CEGAR-tableaux with RECAR and resolution-based SAT-shortcuts cs.LO · 2026 · author #4

Mentions

• 2606.31878 #4 · arxiv_oai · confidence 0.70 Cormac Kikkert (Cormac Kikkert Research)

Frequent Coauthors

• Australia) 1 shared papers
• Monash University 1 shared papers
• Rajeev Gor\'e (Faculty of Information Technology 1 shared papers