The following pages link to Automated Reasoning (Q2817907):
Displayed 50 items.
- A Logical Framework for Developing and Mechanizing Set Theories (Q2817908) (← links)
- A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (Q2817909) (← links)
- Super-Blocked Clauses (Q2817910) (← links)
- Counting Constraints in Flat Array Fragments (Q2817911) (← links)
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT (Q2817912) (← links)
- Congruence Closure in Intensional Type Theory (Q2817913) (← links)
- Fast Cube Tests for LIA Constraint Solving (Q2817914) (← links)
- Model Finding for Recursive Functions in SMT (Q2817915) (← links)
- Colors Make Theories Hard (Q2817916) (← links)
- Nominal Confluence Tool (Q2817917) (← links)
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Q2817918) (← links)
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (Q2817919) (← links)
- Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems (Q2817922) (← links)
- raSAT: An SMT Solver for Polynomial Constraints (Q2817923) (← links)
- Schematic Cut Elimination and the Ordered Pigeonhole Principle (Q2817924) (← links)
- Subsumption Algorithms for Three-Valued Geometric Resolution (Q2817925) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- System Description: GAPT 2.0 (Q2817928) (← links)
- nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
- Selecting the Selection (Q2817931) (← links)
- Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving (Q2817933) (← links)
- Internal Guidance for Satallax (Q2817934) (← links)
- Effective Normalization Techniques for HOL (Q2817937) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (Q2817939) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
- A Tableau System for Quasi-Hybrid Logic (Q2817942) (← links)
- Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi (Q2817943) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- Unbounded-Thread Program Verification using Thread-State Equations (Q2817949) (← links)
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (Q2817951) (← links)
- Lower Runtime Bounds for Integer Programs (Q2817952) (← links)
- Translating Scala Programs to Isabelle/HOL (Q2817953) (← links)
- Taking Satisfiability to the Next Level with Z3 (Q2908472) (← links)
- SAT and SMT Are Still Resolution: Questions and Challenges (Q2908473) (← links)
- Unification Modulo Synchronous Distributivity (Q2908474) (← links)
- SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies (Q2908475) (← links)
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description (Q2908476) (← links)
- Effective Finite-Valued Semantics for Labelled Calculi (Q2908477) (← links)
- A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic (Q2908479) (← links)
- How Fuzzy Is My Fuzzy Description Logic? (Q2908480) (← links)
- Truthful Monadic Abstractions (Q2908481) (← links)
- Satallax: An Automatic Higher-Order Prover (Q2908482) (← links)
- From Strong Amalgamability to Modularity of Quantifier-Free Interpolation (Q2908483) (← links)
- SPARQL Query Containment under RDFS Entailment Regime (Q2908485) (← links)
- Automated Verification of Recursive Programs with Pointers (Q2908486) (← links)
- Security Protocols, Constraint Systems, and Group Theories (Q2908488) (← links)