Vitaly Lagoon (3)
Identifiers
No identifiers captured yet.
Papers (1)
- SAT Solving for Argument Filterings cs.LO · 2006 · author #3
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
- Michael Codish (1) 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