Michael Codish (1)

Identifiers

No identifiers captured yet.

Papers (1)

1. SAT Solving for Argument Filterings cs.LO · 2006 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Australia) 1 shared papers
• Ben-Gurion University 1 shared papers
• Germany (3) Department of Computer Science 1 shared papers
• Israel (2) LuFG Informatik 2 1 shared papers
• J\"urgen Giesl (2) ((1) Department of Computer Science 1 shared papers
• Peter Schneider-Kamp (2) 1 shared papers
• Ren\'e Thiemann (2) 1 shared papers
• RWTH Aachen 1 shared papers
• Software Engineering 1 shared papers
• University of Melbourne 1 shared papers
• Vitaly Lagoon (3) 1 shared papers