Concepedia

Melinda Varga

MV

6

Publications

310

Citations

6

H-Index

2010

Active since

Affiliations

Babeș-Bolyai University(Current)

University of Notre Dame

Melinda Varga is an author at Babeș-Bolyai University specializing in satisfiability, computer science, and computational complexity.

Top concepts

EngineeringFormal MethodsSatisfiabilityComputer ScienceComputational ComplexityAutomated ReasoningTheory Of ComputingComputer EngineeringCombinatorial OptimizationGames

Publications per year

2010–2018

6

Publications

6

Multilevel animal societies can emerge from cultural transmission

Maurício Cantor, Lauren G. Shoemaker, Reniel B. Cabral et al. · Nature Communications · 2015 · 135 citations · Full text

A multiscale cerebral neurochemical connectome of the rat brain

Hamid R. Noori, Judith Schöttler, Mária Ercsey-Ravasz et al. · PLoS Biology · 2017 · 46 citations · Full text

Machine Learning, Brain Organization, Social Sciences +18

A continuous-time MaxSAT solver with high analog performance

Botond Molnár, Ferenc Molnár, Melinda Varga et al. · Nature Communications · 2018 · 42 citations · Full text

Mathematical Programming, Boolean Assignments, Boolean Logic +20

Ordering in spatial evolutionary games for pairwise collective strategy updates

György Szabó, Attila Szolnoki, Melinda Varga et al. · Physical Review E · 2010 · 39 citations · Full text

Simultaneous Game, Evolutionary Game Theory, Spatial Evolutionary Games +14

Efficient Analog Circuits for Boolean Satisfiability

Xunzhao Yin, Behnam Sedighi, Melinda Varga et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2017 · 35 citations

Circuit Complexity, Efficient Analog Circuits, Engineering +19

Rows per page

1–5 of 6