A unifying splitting framework (Q2055869)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	A unifying splitting framework	scientific article

Statements

scholarly article

0 references

A unifying splitting framework (English)

0 references

0 references

Jasmin Christian Blanchette

0 references

0 references

publication date

1 December 2021

0 references

describes a project that uses

0 references

0 references

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-030-79876-5_20

0 references

Rewrite-based Equational Theorem Proving with Selection and Simplification

0 references

0 references

Satisfiability modulo theories and assignments

0 references

On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving

0 references

A unifying splitting framework

0 references

Labelled splitting

0 references

Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories

0 references

0 references

A Model-Constructing Satisfiability Calculus

0 references

Solving SAT and SAT Modulo Theories

0 references

Concrete Semantics

0 references

Playing with AVATAR

0 references

Revisiting enumerative instantiation

0 references

Quantifier Instantiation Techniques for Finite Model Finding in SMT

0 references

The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0

0 references

AVATAR: The Architecture for First-Order Theorem Provers

0 references

A comprehensive framework for saturation theorem proving

0 references

0 references

Identifiers

10.1007/978-3-030-79876-5_20

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2055869

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2055869&oldid=36744556"