etasFLP Software Authors: Marcello Chiodi, Giada Adelfio Cited in: 5 Publications (2020–2022) Related Software: R; ETAS; etas8p; SAPP; etas_solve; PtProcess; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Geophysics (86-XX)
Constructive Proof FLP Software Authors: Bisping, Benjamin; Brodmann, Paul-David; Jungnickel, Tim; Rickmann, Christina; Seidler, Henning; Stüber, Anke; Wilhelm-Weidner, Arno; Peters, Kirstin; Nestmann, Uwe Cited in: 2 Publications (2016–2018) Related Software: Archive Formal Proofs; Chapar; Verdi; CVC4; z3; Locales; … Main Fields: Computer science (68-XX)
redpl.pl Software Authors: Ásványi, Tibor Cited in: 1 Publication (1998) Related Software: SICStus Main Fields: Computer science (68-XX)
FLP Spreadsheet Solver Software Authors: Gunes Erdogan Cited in: 0 Publications Related Software: – Main Fields: –