Login / Signup

Generating Models of a Matched Formula With a Polynomial Delay.

Petr SavickýPetr Kucera
Published in: J. Artif. Intell. Res. (2016)
Keyphrases
  • data structure
  • search engine
  • social networks
  • first order logic