Search results
From MaRDI portal
- 2016-08-30 Paper A practical approach to satisfiability modulo linear integer arithmetic 2016-02-23 Paper Efficient generation of craig interpolants in...10 bytes (15 words) - 19:11, 6 October 2023
- Solving Non-linear Arithmetic 2012-09-05 Paper Sharing Is Caring: Combination of Theories 2011-10-07 Paper Cutting to the Chase Solving Linear Integer Arithmetic...10 bytes (14 words) - 08:41, 6 October 2023
- for linear arithmetic: cubes and equalities 2018-01-08 Paper Fast Cube Tests for LIA Constraint Solving 2016-09-05 Paper Linear Integer Arithmetic Revisited...10 bytes (13 words) - 10:33, 6 October 2023
- Floating-point arithmetic in the Coq system 2012-10-11 Paper A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic 2012-09-05...10 bytes (13 words) - 09:44, 7 October 2023
- String Manipulating Programs with Integer Data Type 2022-12-22 Paper Monadic decomposition in integer linear arithmetic 2022-11-09 Paper Reasoning in the...10 bytes (13 words) - 06:09, 7 October 2023
- Search For Satisfiability Modulo Integer Arithmetic Theories 2023-11-03 Paper Local Search for SMT on Linear Integer Arithmetic 2022-12-07 Paper Better Decision...10 bytes (14 words) - 08:44, 7 October 2023
- satisfiability modulo linear integer arithmetic 2012-08-15 Paper Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 2011-05-19 Paper...10 bytes (17 words) - 10:17, 7 October 2023
- 2018-04-13 Paper A study on prime arithmetic integer additive set-indexers of graphs 2018-04-10 Paper Switched signed graphs of integer additive set-valued signed...10 bytes (15 words) - 11:13, 6 October 2023
- extensions of Presburger arithmetic 2024-01-23 Paper Integer Programming with GCD Constraints 2023-08-25 Paper On Deciding Linear Arithmetic Constraints Over p-adic...10 bytes (13 words) - 01:00, 7 October 2023
- infinitely many integer zeros 2012-09-18 Paper Irrationality criteria for infinite products 2012-04-12 Paper Independence measures of arithmetic functions II...10 bytes (14 words) - 19:29, 6 October 2023
- techniques for linear arithmetic: cubes and equalities 2018-01-08 Paper On the combination of the Bernays-Schönfinkel-Ramsey fragment with simple linear integer...10 bytes (13 words) - 10:33, 6 October 2023
- Rational points on, and the arithmetic of, elliptic curves: A tale of two books (and an article) 2017-08-28 Paper Arithmetic and dynamical degrees on abelian...10 bytes (17 words) - 17:57, 9 December 2023
- constraint satisfaction in integer programming 2012-05-30 Paper The problem with integer programming 2011-07-28 Paper Logic and integer programming 2009-02-03...10 bytes (15 words) - 12:31, 8 December 2023
- 2022-12-07 Paper Automatic complexity analysis of integer programs via triangular weakly non-linear loops 2022-12-07 Paper Complexity Analysis for Java...10 bytes (13 words) - 21:05, 24 September 2023
- the integer points of a polyhedron 2023-03-03 Paper Computing the integer hull of convex polyhedral sets 2022-12-21 Paper Power series arithmetic with...10 bytes (15 words) - 05:35, 7 October 2023
- are dense modulo 1 2007-03-02 Paper Arithmetical properties of linear recurrent sequences 2007-02-12 Paper Large integer polynomials in several variables...10 bytes (14 words) - 13:18, 8 December 2023
- branch-and-bound for general-integer linear programming 2002-04-07 Paper A disjunctive cutting plane procedure for general mixed-integer linear programs 2001-10-03...10 bytes (13 words) - 20:08, 24 September 2023
- Paper Efficient interpolant generation in satisfiability modulo linear integer arithmetic 2012-08-15 Paper Stochastic Local Search for SMT: Combining Theory...10 bytes (13 words) - 03:35, 12 December 2023
- questions for parametric families of linear recurrence sequences 2022-05-31 Paper On the greatest common divisor of integer parts of polynomials 2022-04-30...10 bytes (17 words) - 15:25, 8 December 2023
- coincidences 2024-10-07 Paper Linear extensions and continued fractions 2024-09-30 Paper Log-concave poset inequalities 2024-09-10 Paper Linear extensions of finite...10 bytes (14 words) - 20:59, 24 September 2023
