SageSAT swMATH ID: 20737 Software Authors: Zulkoski, E., Ganesh, V. Description: SageSAT: Embedding of the SAGE CAS within a SAT solver. Homepage: https://bitbucket.org/ezulkosk/sagesat Related Software: MiniSat; bliss; STP; Shatter; Alloy*; sharpSAT; Lynx; MathCheck; DRAT-trim; Hadamard; CVC4; CPGraph; veriT; NumPy; z3; FFTW; Isabelle/HOL; SageMath; Mathematica; Maple Cited in: 1 Document all top 5 Cited by 6 Authors 1 Bright, Curtis 1 Czarnecki, Krzysztof 1 Ganesh, Vijay 1 Heinle, Albert 1 Kotsireas, Ilias S. 1 Zulkoski, Edward Cited in 1 Serial 1 Journal of Automated Reasoning Cited in 2 Fields 1 Combinatorics (05-XX) 1 Computer science (68-XX) Citations by Year