Ionut Pistol

Identifiers

• name variant Ionut Pistol 0.50 · backfill

Papers (1)

1. Using SMT Solvers to Validate Models for AI Problems cs.AI · 2019 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrei Arusoaie 1 shared papers