logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
P

Predrag Janičić

university of belgrade

16H-index
81Paper Count
844Citation Count
Published Papers 3
Publication Date
logo
Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols
errJournal of Automated Reasoning
IF0.8
err2025-10-16
err0
PREAI
errJanicic, Predrag
errShare
errSave
Simple algorithm portfolio for SAT
errARTIFICIAL INTELLIGENCE REVIEW
IF13.9
err2011-12-21
err16
errOAAI
errNikolic, Mladen; Maric, Filip; Janicic, Predrag
errShare
errSave
n-Gram-based classification and unsupervised hierarchical clustering of genome sequences
errCOMPUTER METHODS AND PROGRAMS IN BIOMEDICINE
IF4.8
err2006-02-01
err73
PREAI
errTomovic, A; Janicic, P; Keselj, V
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
A
Andrija Tomović
H-index: 9 · Papers: 18
K
Keselj, V
H-index: 0 · Papers: 1
M
Maric, Filip
H-index: 0 · Papers: 1
N
Nikolic, Mladen
H-index: 0 · Papers: 7
All loaded