Satisfiability modulo linear arithmetic over a finite ring

MaRDI QIDQ5746001zbMATH OpenFDO

Authors V. V. Skobelev

Publication date 17 February 2014

zbMATH Keywords

finite ringlinear arithmeticsatisfiability of formulae

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• On the Satisfiability of Modular Arithmetic Formulae
• A survey of satisfiability modulo theory
• A practical approach to satisfiability modulo linear integer arithmetic
• On the satisfiability of linear systems of equations for quantifiers
• SAT modulo linear arithmetic for solving polynomial constraints

Cited in

(5)

• On the satisfiability of linear systems of equations for quantifiers
• Satisfiability modulo transcendental functions via incremental linearization
• On the Satisfiability of Modular Arithmetic Formulae
• Programming Languages and Systems
• Satisfiability modulo finite fields

This page was built for publication: Satisfiability modulo linear arithmetic over a finite ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5746001)