First-Order Model-Checking in Random Graphs and Complex Networks

Jan Dreier, Philipp Kuinke, Peter Rossmanith

Complex networks are everywhere. They appear for example in the form of biological networks, social networks, or computer networks and have been studied extensively. Efficient algo…