Rajeev Gor\'e (Faculty of Information Technology

Identifiers

• name variant Rajeev Gor\'e (Faculty of Information Technology 0.60 · backfill

Papers (1)

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

Mentions

• 2606.31878 #1 · arxiv_oai · confidence 0.70 Rajeev Gor\'e (Faculty of Information Technology

Frequent Coauthors

• Australia) 1 shared papers
• Cormac Kikkert (Cormac Kikkert Research) 1 shared papers
• Monash University 1 shared papers