Претрага




Резултати

URSA: A System for Uniform Reduction to SAT   [2012]

Janičić, Predrag  

Weak cat-operads   [2015]

Došen, Kosta  ; Petrić, Zoran  

Formalization of Abstract State Transition Systems for SAT   [2011]

Marić, Filip  ; Janičić, Predrag  

A Proof System for Graph (Non)-Isomorphism Verification   [2023]

Bankovic, Milan M  ; Drecun, Ivan  ; Maric, Filip M  

On absorption in semigroups and n-ary semigroups   [2015]

Bašić, Bojan  

LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads   [2017]

Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture   [2019]

Janičić, Predrag Đ.  ; Marić, Filip M.  ; Maliković, Marko

Solving finite-domain linear constraints in presence of the alldifferent   [2016]

Banković, Milan  

Филтери

По типу