Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Integer programming (90C10) Applications of game theory (91A80)
Recommendations
- Predicate logics of decidable fragments of arithmetic
- scientific article; zbMATH DE number 4010488
- Publication:4508549
- scientific article; zbMATH DE number 4031630
- Fragments of bounded arithmetic and the lengths of proofs
- A decidable fragment of predicate calculus
- Quantified propositional calculi and fragments of bounded arithmetic
- Rigid models of Presburger arithmetic
- A Decidable Fragment of Recursive Arithmetic
- Polynomially and superexponentially shorter proofs in fragments of arithmetic
Cited in
(6)- On quantified linear implications
- Out of order quantifier elimination for standard quantified linear programs
- Polynomially and superexponentially shorter proofs in fragments of arithmetic
- A complexity perspective on entailment of parameterized linear constraints
- On the complexity of quantified integer programming
- Automated Reasoning
This page was built for publication: Tractable fragments of Presburger arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814932)
