Mladen Nikolić

Available identifiers

zbMath Open nikolic.mladenMaRDI QIDQ842082

List of research outcomes

Publication	Date of Publication	Type
New pseudo-random number generator based on improved discrete-space chaotic map	2022-05-31	Paper
Portfolio theorem proving and prover runtime prediction for geometry	2019-05-16	Paper
CDCL-Based Abstract State Transition System for Coherent Logic	2012-09-07	Paper
Statistical Methodology for Comparison of SAT Solvers	2010-09-29	Paper
Integration of third order ordinary differential equations possessing two-parameter symmetry group by Lie's method	2009-09-22	Paper
The Role of Three-dimensional Subalgebra in the Analysis of Hidden Symmetries of Differential Equations	2005-01-28	Paper

Research outcomes over time

This page was built for person: Mladen Nikolić