CESAR Software Authors: Queille, J.P.; Sifakis, J. Cited in: 149 Publications (1982–2021) Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; … Main Fields: (68Q60-XX); (68Q85-XX)
Zinc Software Authors: Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark Cited in: 28 Publications (2005–2022) Related Software: Essence; MiniZinc; Gecode; AMPL; COMET; ESRA; … Main Fields: (68N15-XX)
csp2B Software Authors: Butler, Michael Cited in: 16 Publications (2000–2014) Related Software: Circus; Rodin; Z; FDR2; LOTOS; ProB; … Main Fields: (68U99-XX); (68M14-XX)
AltAlt Software Authors: Romeo Sanchez Nigenda, XuanLong Nguyen, Subbarao Kambhampati Cited in: 6 Publications (2002–2009) Related Software: Graphplan; STAN; SAPA; Walksat; PDDL; LPG; … Main Fields: (68T20-XX)
CLPS-B Software Authors: Bouquet, Fabrice; Legeard, Bruno; Peureux, Fabien Cited in: 2 Publications (2002–2009) Related Software: ProB; jbtools; Rodin; XSB; FDR2; Oz; … Main Fields: (68N30-XX); (68Q60-XX)
SensorDCSP Software Authors: Béjar, Ramón; Domshlak, Carmel; Fernández, Cèsar; Gomes, Carla; Krishnamachari, Bhaskar; Selman, Bart; Valls, Magda Cited in: 4 Publications (2005–2020) Related Software: DisChoco; CSPLib; PRMLT; Algorithm 97; CNCL; SATLIB Main Fields: (68T20-XX); (68M14-XX); (68Q25-XX)
meSAT Software Authors: Stojadinović, Mirko; Marić, Filip Cited in: 6 Publications (2014–2022) Related Software: MiniZinc; Sugar; Yices; SUNNY; Proteus; SATzilla; … Main Fields: (90C30-XX); (90C11-XX)
cspy Software Authors: David Torres Sanchez Cited in: 0 Publications Related Software: Python; OR-tools; CLP; NetworkX; VRPy; pylgrim Main Fields: –
Gelisp Software Authors: Mauricio Toro, Camilo Rueda, Carlos Agón, Gérard Assayag Cited in: 1 Publication (2017) Related Software: SPIN; ntccSim; Ntccrt; Rules2CP; OpenMusic; Kangaroo; … Main Fields: –
dbcsp Software Authors: Itziar Irigoien, Concepción Arenas, Itsaso Rodríguez-Moreno Cited in: 0 Publications Related Software: caret; OpenPose; dtw; R Main Fields: –
EvIA Software Authors: Bhavani, S.Durga; Pujari, Arun K. Cited in: 1 Publication (2004) Related Software: – Main Fields: (68T20-XX); (68T37-XX)
reverCSP Software Authors: Galindo, Carlos; Nishida, Naoki; Silva, Josep; Tamarit, Salvador Cited in: 1 Publication (2020) Related Software: CauDEr; Erlang; Graphviz Main Fields: (68Q09-XX); (68Q10-XX); (81P68-XX)