FPsolve
From MaRDI portal
Cited in
(10)- kProbLog: an algebraic Prolog for machine learning
- kLog
- kProbLog: an algebraic Prolog for kernel programming
- Putting Newton into practice: a solver for polynomial equations over semirings
- kProbLog
- FPsolve: a generic solver for fixpoint equations over semirings
- Gender-aware facility location in multi-gender world
- Dyna
- kFOIL
- \textsc{FPsolve}: a generic solver for fixpoint equations over semirings
This page was built for software: FPsolve