Matches in SemOpenAlex for { <https://semopenalex.org/work/W4290056688> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4290056688 abstract "Motivated by satisfiability of constraints with function symbols, we consider numerical inequalities on non-negative integers. The constraints we consider are a conjunction of a linear system Ax = b and a conjunction of (non-)convex constraints of the form x_i >= x_j^n (x_i <= x_j^n). We show that the satisfiability of these constraints is NP-complete even if the solution to the linear part is given explicitly. As a consequence, we obtain NP completeness for an extension of certain quantifier-free constraints on sets with cardinalities (QFBAPA) with function images S = f[P^n]." @default.
- W4290056688 created "2022-08-06" @default.
- W4290056688 creator A5005916764 @default.
- W4290056688 creator A5008699657 @default.
- W4290056688 creator A5017717905 @default.
- W4290056688 date "2022-08-04" @default.
- W4290056688 modified "2023-09-26" @default.
- W4290056688 title "NP Decision Procedure for Monomial and Linear Integer Constraints" @default.
- W4290056688 doi "https://doi.org/10.48550/arxiv.2208.02713" @default.
- W4290056688 hasPublicationYear "2022" @default.
- W4290056688 type Work @default.
- W4290056688 citedByCount "0" @default.
- W4290056688 crossrefType "posted-content" @default.
- W4290056688 hasAuthorship W4290056688A5005916764 @default.
- W4290056688 hasAuthorship W4290056688A5008699657 @default.
- W4290056688 hasAuthorship W4290056688A5017717905 @default.
- W4290056688 hasBestOaLocation W42900566881 @default.
- W4290056688 hasConcept C11252640 @default.
- W4290056688 hasConcept C112680207 @default.
- W4290056688 hasConcept C114614502 @default.
- W4290056688 hasConcept C118615104 @default.
- W4290056688 hasConcept C121332964 @default.
- W4290056688 hasConcept C1276947 @default.
- W4290056688 hasConcept C134306372 @default.
- W4290056688 hasConcept C14036430 @default.
- W4290056688 hasConcept C16221470 @default.
- W4290056688 hasConcept C168773769 @default.
- W4290056688 hasConcept C17231256 @default.
- W4290056688 hasConcept C199360897 @default.
- W4290056688 hasConcept C2524010 @default.
- W4290056688 hasConcept C2778029271 @default.
- W4290056688 hasConcept C32278780 @default.
- W4290056688 hasConcept C33923547 @default.
- W4290056688 hasConcept C41008148 @default.
- W4290056688 hasConcept C45555294 @default.
- W4290056688 hasConcept C59656382 @default.
- W4290056688 hasConcept C78458016 @default.
- W4290056688 hasConcept C84135550 @default.
- W4290056688 hasConcept C86803240 @default.
- W4290056688 hasConcept C97137487 @default.
- W4290056688 hasConceptScore W4290056688C11252640 @default.
- W4290056688 hasConceptScore W4290056688C112680207 @default.
- W4290056688 hasConceptScore W4290056688C114614502 @default.
- W4290056688 hasConceptScore W4290056688C118615104 @default.
- W4290056688 hasConceptScore W4290056688C121332964 @default.
- W4290056688 hasConceptScore W4290056688C1276947 @default.
- W4290056688 hasConceptScore W4290056688C134306372 @default.
- W4290056688 hasConceptScore W4290056688C14036430 @default.
- W4290056688 hasConceptScore W4290056688C16221470 @default.
- W4290056688 hasConceptScore W4290056688C168773769 @default.
- W4290056688 hasConceptScore W4290056688C17231256 @default.
- W4290056688 hasConceptScore W4290056688C199360897 @default.
- W4290056688 hasConceptScore W4290056688C2524010 @default.
- W4290056688 hasConceptScore W4290056688C2778029271 @default.
- W4290056688 hasConceptScore W4290056688C32278780 @default.
- W4290056688 hasConceptScore W4290056688C33923547 @default.
- W4290056688 hasConceptScore W4290056688C41008148 @default.
- W4290056688 hasConceptScore W4290056688C45555294 @default.
- W4290056688 hasConceptScore W4290056688C59656382 @default.
- W4290056688 hasConceptScore W4290056688C78458016 @default.
- W4290056688 hasConceptScore W4290056688C84135550 @default.
- W4290056688 hasConceptScore W4290056688C86803240 @default.
- W4290056688 hasConceptScore W4290056688C97137487 @default.
- W4290056688 hasLocation W42900566881 @default.
- W4290056688 hasOpenAccess W4290056688 @default.
- W4290056688 hasPrimaryLocation W42900566881 @default.
- W4290056688 hasRelatedWork W1561517399 @default.
- W4290056688 hasRelatedWork W2007102962 @default.
- W4290056688 hasRelatedWork W2082723133 @default.
- W4290056688 hasRelatedWork W2126331452 @default.
- W4290056688 hasRelatedWork W2144859778 @default.
- W4290056688 hasRelatedWork W2235115558 @default.
- W4290056688 hasRelatedWork W3007933666 @default.
- W4290056688 hasRelatedWork W4290056688 @default.
- W4290056688 hasRelatedWork W4379193118 @default.
- W4290056688 hasRelatedWork W2245837720 @default.
- W4290056688 isParatext "false" @default.
- W4290056688 isRetracted "false" @default.
- W4290056688 workType "article" @default.