Oswaldo TerĂ¡n2026-03-222026-03-22200110.2139/ssrn.292408https://doi.org/10.2139/ssrn.292408https://andeanlibrary.org/handle/123456789/59363Citaciones: 6enMathematical proofComputer scienceConstraint (computer-aided design)Multi-agent systemComplex systemTheoretical computer scienceEmergent Tendencies in Multi-Agent-based Simulations: Using Constraint-based Methods to Effect Practical Proofs over Finite Subsets of Simulation Outcomesarticle