Clingo Cited in 105 Documents (2009–2022) Software Authors: Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub Related Software: Gringo; clasp; WASP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
PostgreSQL Cited in 54 Documents (2000–2023) Software Authors: – Related Software: Oracle; MySQL; MS SQL Server; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
Beluga Cited in 29 Documents (2010–2022) Software Authors: Brigitte Pientka; Joshua Dunfield Related Software: Twelf; Abella; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)
Bloqqer Cited in 31 Documents (2011–2022) Software Authors: Armin Biere, Florian Lonsing, Martina Seidl Related Software: DepQBF; RAReQS; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
InsEnc Cited in 22 Documents (2006–2023) Software Authors: Vatter, Vincent Related Software: OEIS; HERB; WILF; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …
PySAT Cited in 19 Documents (2018–2022) Software Authors: Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao Related Software: MiniSat; Glucose; RC2; … Main Fields: General and overarching topics; collections (00-XX); Order, lattices, ordered algebraic structures (06-XX); Convex and discrete geometry (52-XX); …
PBLib Cited in 13 Documents (2007–2022) Software Authors: Philipp, Tobias; Steinke, Peter Related Software: MiniSat; Plingeling; PySAT; … Main Fields: General and overarching topics; collections (00-XX); Order, lattices, ordered algebraic structures (06-XX); Convex and discrete geometry (52-XX); …
GRAPPA Cited in 11 Documents (2001–2019) Software Authors: Tang, Jijun; Moret, Bernard M.E. Related Software: PAUP*; GASTS; FastTree; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Proteus Cited in 11 Documents (2015–2022) Software Authors: Hurley, Barry; Kotthoff, Lars; Malitsky, Yuri; O’Sullivan, Barry Related Software: MiniZinc; SATzilla; SUNNY; … Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
aspeed Cited in 10 Documents (2012–2020) Software Authors: Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten Related Software: SATzilla; SMAC; Paramils; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
BEE Cited in 8 Documents (2012–2022) Software Authors: Metodi, Amit; Codish, Michael Related Software: nauty; Traces; MiniSat; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
DIAMOND Cited in 9 Documents (2015–2021) Software Authors: Ellmauthaler, S.; Strass, H. Related Software: Carneades; MiniSat; GRAPPA; … Main Fields: History and biography (01-XX); Computer science (68-XX)
BoSy Cited in 8 Documents (2019–2021) Software Authors: Faymonville, Peter; Finkbeiner, Bernd; Tentrup, Leander Related Software: Strix; SPOT; Acacia+; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
D-FLAT Cited in 8 Documents (2012–2020) Software Authors: Bliem, B., Morak, M., Woltran, S.; Abseher, M., Bliem, B., Charwat, G., Dusberger, F., Hecher, M. Related Software: Clingo; Jdrasil; ComputeTW; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
OpenGM Cited in 6 Documents (2015–2018) Software Authors: Andres, B.; Beier T.; Kappes, J.H. Related Software: LibDAI; SCIP-SDP; PLASMA; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Gazelle Cited in 5 Documents (2021–2022) Software Authors: Chiraag Juvekar, Vinod Vaikuntanathan, Anantha Chandrakasan Related Software: MNIST; TFHE; CUDA; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
HyComp Cited in 6 Documents (2017–2022) Software Authors: A. Cimatti, A. Griggio, S. Mover, S. Tonetta Related Software: nuXmv; CTIGAR; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
meSAT Cited in 6 Documents (2014–2022) Software Authors: Stojadinović, Mirko; Marić, Filip Related Software: MiniZinc; Sugar; Yices; … Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Transalg Cited in 6 Documents (2011–2021) Software Authors: Otpuschennikov, I., Semenov, A.,Kochemazov, S. Related Software: MiniSat; Trivium; URSA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
kProbLog Cited in 5 Documents (2016–2021) Software Authors: Orsini, Francesco; Frasconi, Paolo; De Raedt, Luc Related Software: ProbLog; Dyna; BLOG; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
LusSy Cited in 3 Documents (2007–2013) Software Authors: Moy, M., Maraninchi, F., Maillet-Contoz, L. Related Software: SystemC; KRATOS; veriSoft; … Main Fields: Computer science (68-XX)
RP-DeLP Cited in 5 Documents (2014–2022) Software Authors: Alsinet, Teresa; Béjar, Ramón; Godo, Lluís; Guitart, Francesc Related Software: EDITS; dynPARTIX; ASPARTIX; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
cnf2aig Cited in 4 Documents (2015–2018) Software Authors: Iser, Markus; Manthey, Norbert; Sinz, Carsten Related Software: Lingeling; MiniSat; Bloqqer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Democratix Cited in 4 Documents (2015–2020) Software Authors: Charwat, Günther; Pfandler, Andreas Related Software: Isabelle/HOL; Gecode; PSPLIB; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
PaSAT Cited in 3 Documents (2009–2020) Software Authors: Sinz, C., Blochinger, W., Küchlin, W. Related Software: PaMira; PSATO; Lingeling; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Picat-SAT Cited in 4 Documents (2017–2022) Software Authors: Zhou, N.-F., Kjellerstrand, H. Related Software: MiniZinc; Sugar; Open-WBO; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
PTrie Cited in 4 Documents (2017–2021) Software Authors: Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří Related Software: TAPAAL; LoLA; zUpdate; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
arabtex Cited in 2 Documents (2000–2013) Software Authors: Klaus Lagally Related Software: LaTeX; R; MM*Stat; … Main Fields: Statistics (62-XX); Computer science (68-XX); Mathematics education (97-XX)
EigenCFA Cited in 3 Documents (2011–2012) Software Authors: Prabhu, Tarun; Ramalingam, Shreyas; Might, Matthew; Hall, Mary Related Software: PETSc; CUDA; THORS; … Main Fields: Computer science (68-XX)
New-HOPLA Cited in 3 Documents (2004–2014) Software Authors: Winskel, Glynn; Zappa Nardelli, Francesco Related Software: HOPLA Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
SARAG Cited in 3 Documents (2006–2008) Software Authors: Caruso, Fabrizio Related Software: GAP; ISOLATE; gnuplot; … Main Fields: General and overarching topics; collections (00-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
BiSET Cited in 2 Documents (2022) Software Authors: Kai Wang, Xiaojun Quan, Rui Wang Related Software: BART; Rouge; Sentence-BERT; … Main Fields: Computer science (68-XX)
GrappaVis Cited in 2 Documents (2017–2020) Software Authors: Heißenberger, G. Related Software: Lpopt; GRAPPA; DLV2; … Main Fields: Computer science (68-XX)
libiconv Cited in 1 Document (2022) Software Authors: Free Software Foundation, Inc. Related Software: CosmoGRaPH; gevolution; caption; … Main Fields: Global analysis, analysis on manifolds (58-XX); Relativity and gravitational theory (83-XX); Astronomy and astrophysics (85-XX)
Optiplan Cited in 2 Documents (2005–2008) Software Authors: van den Briel, M.H.L.; Kambhampati, S. Related Software: Graphplan; CPLEX; RealPlan Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
UppSAT Cited in 2 Documents (2018–2021) Software Authors: Zeljić, Aleksandar; Backeman, Peter; Wintersteiger, Christoph M.; Rümmer, Philipp Related Software: STP; OptiMathSAT; vZ; … Main Fields: Computer science (68-XX)
xorro Cited in 2 Documents (2019–2020) Software Authors: Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten Related Software: Clingo; Gringo; ASPIDE; … Main Fields: Computer science (68-XX)
ast2vec Cited in 0 Documents Software Authors: Benjamin Paaßen, Jessica McBroom, Bryn Jeffries, Irena Koprinska, Kalina Yacef Related Software: word2vec; Scikit; GloVe; … Main Fields: –
CAFLOW Cited in 0 Documents Software Authors: Georgios Batzolis, Marcello Carioni, Christian Etmann, Soroosh Afyouni, Zoe Kourtzi, Carola Bibiane Schönlieb Related Software: ODL; SRFlow; Adam; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)
CityJSON Cited in 0 Documents Software Authors: Hugo Ledoux, Ken Arroyo Ohori, Kavisha Kumar, Balázs Dukai, Anna Labetski, Stelios Vitalis Related Software: OpenStreetMap; SAFE FME; ArcGIS; … Main Fields: –
cjk Cited in 1 Document (1994) Software Authors: Werner Lemberg Related Software: amsthm; tipa; yfonts; … Main Fields: Computer science (68-XX)
cmap Cited in 1 Document (2009) Software Authors: Vladimir Volovich Related Software: TeX Main Fields: Computer science (68-XX)
CoSA Cited in 0 Documents Software Authors: Mattarei, C., Mann, M., Barrett, C., et al. Related Software: googletest; Yosys; z3; … Main Fields: –
Encodability_Process_Calculi Cited in 1 Document (2020) Software Authors: Kirstin Peters; Rob van Glabbeek Related Software: Apache Flink; Archive Formal Proofs; Pict; … Main Fields: Computer science (68-XX)
HCMapper Cited in 1 Document (2021) Software Authors: Gautier Marti, Philippe Donnat, Frank Nielsen, Philippe Very Related Software: EMD; shap Main Fields: Dynamical systems and ergodic theory (37-XX); Biology and other natural sciences (92-XX)
i4mC-Mouse Cited in 1 Document (2021) Software Authors: M. Hasan, Balachandran Manavalan, W. Shoombuatong, M. S. Khatun, H. Kurata Related Software: XG-PseU; DNA4mC-LIP; 4mCPred; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
IgTM Cited in 1 Document (2018) Software Authors: Peris, P.; López, D.; Campos, M. Related Software: – Main Fields: Computer science (68-XX)
ITRANS Cited in 1 Document (2009) Software Authors: Avinash Chopde Related Software: – Main Fields: Computer science (68-XX)
mAHTPred Cited in 1 Document (2021) Software Authors: Manavalan, B.; Basith, S.; Shin, TH; Wei, L.; Lee, G. Related Software: Bastion3; hCKSAAP_UbSite; iBitter-SCM; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
Meta-iPVP Cited in 1 Document (2021) Software Authors: Phasit Charoenkwan, Chanin Nantasenamat, Md. Mehedi Hasan, Watshara Shoombuatong Related Software: XG-PseU; DNA4mC-LIP; 4mCPred; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
npSolver Cited in 1 Document (2015) Software Authors: Manthey, N., Steinke, P. Related Software: MiniSat; BoolVar/PB; PBLib; … Main Fields: Computer science (68-XX)
OTRecod.jl Cited in 1 Document (2022) Software Authors: Garès, Valérie; Omer, Jérémy Related Software: JuMP; Julia Main Fields: Statistics (62-XX); Computer science (68-XX)
SatELite Cited in 1 Document (2014) Software Authors: Niklas Eén, Niklas Sörensson Related Software: MiniSat; SATIRE Main Fields: Computer science (68-XX)
SNN toolbox Cited in 0 Documents Software Authors: Bodo Rueckauer Related Software: SEFRON; BreastNet; MobileNetV2; … Main Fields: –
Ssreflect.fintype Cited in 1 Document (2016) Software Authors: Microsoft Corporation, Inria Related Software: MathComp.tuple; Fiat; OCaml; … Main Fields: Computer science (68-XX)
TITAN TTCN-3 Cited in 1 Document (2021) Software Authors: Ericsson Telecom AB Related Software: oneM2MTester Main Fields: Computer science (68-XX)
txfonts Cited in 1 Document (2022) Software Authors: Young Ryu Related Software: CosmoGRaPH; gevolution; caption; … Main Fields: Global analysis, analysis on manifolds (58-XX); Relativity and gravitational theory (83-XX); Astronomy and astrophysics (85-XX)
UniCorT Cited in 1 Document (2022) Software Authors: Lemos, Alexandre; Monteiro, Pedro T.; Lynce, Inês Related Software: RobinX; SPOT; pgRouting; … Main Fields: Operations research, mathematical programming (90-XX)
Meta-4mCpred Cited in 0 Documents Software Authors: Manavalan, B.; Basith, S.; Shin, T. H.; Wei, L.; Lee, G. Related Software: – Main Fields: –
SDM6A Cited in 0 Documents Software Authors: Basith, S.; Manavalan, B.; Shin, T. H.; Lee, G. Related Software: – Main Fields: –