Concepedia

Petar Marković

PM

10

Publications

327

Citations

10

H-Index

1999

Active since

Affiliations

University of Novi Sad(Current)

Vanderbilt University

University of Szeged

Petar Marković is an author at University of Novi Sad specializing in discrete mathematics, knowledge compilation, and automated reasoning.

Top concepts

Discrete MathematicsEngineeringFormal MethodsComputer ScienceAutomated ReasoningKnowledge CompilationProof ComplexityDiscrete GeometryComputational Complexity

Publications per year

1999–2014

10

Publications

10

Tractability and Learnability Arising from Algebras with Few Subpowers

Paweł M. Idziak, Petar Marković, Ralph McKenzie et al. · SIAM Journal on Computing · 2010 · 127 citations · Full text

-Ary Polymorphism, Algebraic Logic, Abstract Algebra +14

Tractability and learnability arising from algebras with few subpowers

Paweł Idziak, Petar Marković, Ralph McKenzie et al. · 2007 · 45 citations

Algebraic Logic, Abstract Algebra, Engineering +13

Optimal strong Mal’cev conditions for omitting type 1 in locally finite varieties

Keith A. Kearnes, Petar Marković, Ralph McKenzie · Algebra Universalis · 2014 · 34 citations

Finite Varieties, Type 1

The $11$-element case of Frankl's conjecture

Ivica Bošnjak, Petar Marković · The Electronic Journal of Combinatorics · 2008 · 30 citations · Full text

Geometry Of Number, P. Frankl, Finite Union-closed Family +5

Finitely Related Clones and Algebras with Cube Terms

Petar Marković, Miklós Maróti, Ralph McKenzie · Order · 2011 · 26 citations

Algebraic Combinatorics, Abstract Algebra, Universal Algebra +1

Rows per page

1–5 of 10