Resultados da busca - Predrag Janicic

  • Mostrando 1 - 4 resultados de 4
Refinar Resultados
Lista   Grid  
  1. 1

    URSA: A System for Uniform Reduction to SAT por Predrag Janicic

    Publicado em 2012-09-01
    Obter o texto integral
    Artigo
    Salvar na lista
    Na minha lista:
  2. 2

    Formalization of Abstract State Transition Systems for SAT por Filip Maric, Predrag Janicic

    Publicado em 2011-09-01
    Obter o texto integral
    Artigo
    Salvar na lista
    Na minha lista:
  3. 3

    Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture por Predrag Janičić, Filip Marić, Marko Maliković

    Publicado em 2019-03-01
    Obter o texto integral
    Artigo
    Salvar na lista
    Na minha lista:
  4. 4

    Formalization and Implementation of Algebraic Methods in Geometry por Filip Marić, Ivan Petrović, Danijela Petrović, Predrag Janičić

    Publicado em 2012-02-01
    Obter o texto integral
    Artigo
    Salvar na lista
    Na minha lista:

Ferramentas de busca: