QR Code

A Logical–Computational Framework for Discovering Three-Player Games with Unique Pure Nash Equilibrium Payoffs

The Nash equilibrium is a central concept in game theory, widely used across economics, social sciences, computer science, and artificial intelligence. However, computing Nash equilibria, especially in multi-player games, is a complex and computationally challenging task. Among the various types of...

Full description

Saved in:
Main Authors: Jiajia Yang, Zhongtao Xie, Hongbo Hu, Xiang Du
Format: Artigo
Language:Inglês
Published: MDPI AG 2026-01-01
Series:Mathematics
Subjects:
computer-aided theorem discovering
game theory
first-order logic
uniqueness of pure nash equilibrium payoffs
Pareto optimality
satisfiability solver
Online Access:https://www.mdpi.com/2227-7390/14/3/409
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items