Showing results (31-40 of 39) with videos related to
Sort By:
Pageof 4
You have reached the last page of results.This site can display upto 39 results.
Journal of Automated Reasoning|August 3, 2018
Verified iptables Firewall Analysis and VerificationCornelius Diekmann, Lars Hupel, Julius Michaelis, et al.Journal of Automated Reasoning|August 3, 2018
A Verified SAT Solver Framework with Learn, Forget, Restart, and IncrementalityJasmin Christian Blanchette, Mathias Fleury, Peter Lammich, et al.Journal of Automated Reasoning|August 3, 2018
Hammer for Coq: Automation for Dependent Type TheoryŁukasz Czajka, Cezary KaliszykJournal of Automated Reasoning|September 4, 2018
An Approximation Framework for Solvers and Decision ProceduresAleksandar Zeljić, Christoph M Wintersteiger, Philipp RümmerJournal of Automated Reasoning|September 4, 2018
Higher-Order Pattern Anti-Unification in Linear TimeAlexander Baumgartner, Temur Kutsia, Jordi Levy, et al.Journal of Automated Reasoning|February 18, 2020
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOLWenda Li, Lawrence C PaulsonJournal of Automated Reasoning|April 1, 2020
Strong Extension-Free Proof SystemsMarijn J H Heule, Benjamin Kiesl, Armin BiereJournal of Automated Reasoning|September 10, 2019
Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBFOlaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, et al.Journal of Automated Reasoning|May 30, 2023
Combining Higher-Order Logic with Set Theory FormalizationsCezary Kaliszyk, Karol PąkPageof 4