Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Applications of game theory (91A80) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Integer programming (90C10) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)
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 the complexity of quantified integer programming
- Automated Reasoning
- Out of order quantifier elimination for standard quantified linear programs
- A complexity perspective on entailment of parameterized linear constraints
- On quantified linear implications
- Polynomially and superexponentially shorter proofs in fragments of arithmetic
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)
