scientific article
From MaRDI portal
Publication:2786906
zbMath1331.68207MaRDI QIDQ2786906
Publication date: 23 February 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean programming (90C09) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Linear Integer Arithmetic Revisited, Optimization Modulo Theories with Linear Rational Costs, Minimal counterexamples for linear-time probabilistic verification, New techniques for linear arithmetic: cubes and equalities, Local Search For Satisfiability Modulo Integer Arithmetic Theories, Solving Nonlinear Integer Arithmetic with MCSAT, \textsc{OptiMathSAT}: a tool for optimization modulo theories, Fast Cube Tests for LIA Constraint Solving, SPASS-SATT. A CDCL(LA) solver, From simplification to a partial theory solver for non-linear real polynomial constraints, A complete and terminating approach to linear integer solving, A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic, Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
