Showing 1 - 3 results of 3 for search 'Predrag Janicic', query time: 0.02s Refine Results
  1. 1
    URSA: A System for Uniform Reduction to SAT

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

    Published 2012-09-01
    Get full text
    Article
  2. 2
    Formalization of Abstract State Transition Systems for SAT

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

    Published 2011-09-01
    Get full text
    Article
  3. 3
    Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture

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

    Published 2019-03-01
    Get full text
    Article

Search Tools: