/papers/logic

Type  Date        Size  Name
d     2025-04-30  4.0K  ..
f     2025-04-30  1.5M  1970-Scott-the_lattice_of_flow_diagrams.pdf
f     2025-04-30  1.2M  1971-Scott-toward_a_mathematical_semantics_for_computer_languages.pdf
f     2025-04-30  1.1M  1976-King-Symbolic_Execution_and_Program_Testing.pdf
f     2025-04-30  1.2M  1977-Cousot-Abstract_Interpretation_Lattice_Model_for_Static_Analysis.pdf
f     2025-04-30  212K  2004-Gazinger-DPLL_T_Fast_Decision_Procedures.pdf
f     2025-04-30  178K  2006-Mironov-Applications_of_SAT_Solvers_to_Hash_Functions.pdf
f     2025-04-30  356K  2006-Nieuwenhuis-Solving_SAT_and_SAT_Modulo_Theories.pdf
f     2025-04-30  391K  2008-Lahiri-Revisiting_Program_Verification_using_SMT_Solvers.pdf
f     2025-04-30  70K   2008-Moura-Z3_an_Efficient_SMT_Solver.pdf
f     2025-04-30  459K  2011-Moura-SMT_Introduction_and_Applications.pdf
f     2025-04-30  858K  2019-Alouneh-Analysis_on_SAT_solvers.pdf