Matches in SemOpenAlex for { <https://semopenalex.org/work/W1964809718> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1964809718 abstract "This paper is concerned with techniques for identifying simple and quantified lattice points in 2SAT polytopes. 2SAT polytopes generalize the polyhedra corresponding to Boolean 2SAT formulas, Vertex-Packing (Covering, Partitioning) and Network flow problems; they find wide application in the domains of Program verification (Software Engineering) and State-Space search (Artificial Intelligence). Our techniques are based on the symbolic elimination strategy called the Fourier-Motzkin elimination procedure and thus have the advantages of being extremely simple (from an implementational perspective) and incremental. We also provide a characterization of a 2SAT polytope in terms of its extreme points and derive some interesting hardness results for associated optimization problems. Finally, we provide a brief discussion on the maximum size of a subdeterminant of the linear system representing a 2SAT polytope; this parameter plays a vital role in deriving analytical bounds on the size of the search space for checking whether the polyhedron includes a lattice point. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)" @default.
- W1964809718 created "2016-06-24" @default.
- W1964809718 creator A5050337397 @default.
- W1964809718 date "2004-05-01" @default.
- W1964809718 modified "2023-09-22" @default.
- W1964809718 title "On deciding the non-emptiness of 2SAT polytopes with respect to First Order Queries" @default.
- W1964809718 doi "https://doi.org/10.1002/malq.200310099" @default.
- W1964809718 hasPublicationYear "2004" @default.
- W1964809718 type Work @default.
- W1964809718 sameAs 1964809718 @default.
- W1964809718 citedByCount "17" @default.
- W1964809718 countsByYear W19648097182013 @default.
- W1964809718 countsByYear W19648097182017 @default.
- W1964809718 countsByYear W19648097182019 @default.
- W1964809718 countsByYear W19648097182020 @default.
- W1964809718 countsByYear W19648097182021 @default.
- W1964809718 countsByYear W19648097182022 @default.
- W1964809718 crossrefType "journal-article" @default.
- W1964809718 hasAuthorship W1964809718A5050337397 @default.
- W1964809718 hasConcept C11413529 @default.
- W1964809718 hasConcept C114614502 @default.
- W1964809718 hasConcept C118615104 @default.
- W1964809718 hasConcept C121332964 @default.
- W1964809718 hasConcept C132525143 @default.
- W1964809718 hasConcept C145691206 @default.
- W1964809718 hasConcept C200415742 @default.
- W1964809718 hasConcept C24890656 @default.
- W1964809718 hasConcept C2781204021 @default.
- W1964809718 hasConcept C33923547 @default.
- W1964809718 hasConcept C39847760 @default.
- W1964809718 hasConcept C54829058 @default.
- W1964809718 hasConcept C80899671 @default.
- W1964809718 hasConceptScore W1964809718C11413529 @default.
- W1964809718 hasConceptScore W1964809718C114614502 @default.
- W1964809718 hasConceptScore W1964809718C118615104 @default.
- W1964809718 hasConceptScore W1964809718C121332964 @default.
- W1964809718 hasConceptScore W1964809718C132525143 @default.
- W1964809718 hasConceptScore W1964809718C145691206 @default.
- W1964809718 hasConceptScore W1964809718C200415742 @default.
- W1964809718 hasConceptScore W1964809718C24890656 @default.
- W1964809718 hasConceptScore W1964809718C2781204021 @default.
- W1964809718 hasConceptScore W1964809718C33923547 @default.
- W1964809718 hasConceptScore W1964809718C39847760 @default.
- W1964809718 hasConceptScore W1964809718C54829058 @default.
- W1964809718 hasConceptScore W1964809718C80899671 @default.
- W1964809718 hasLocation W19648097181 @default.
- W1964809718 hasOpenAccess W1964809718 @default.
- W1964809718 hasPrimaryLocation W19648097181 @default.
- W1964809718 hasRelatedWork W1823736747 @default.
- W1964809718 hasRelatedWork W1837134879 @default.
- W1964809718 hasRelatedWork W1956734396 @default.
- W1964809718 hasRelatedWork W1963547452 @default.
- W1964809718 hasRelatedWork W1968143987 @default.
- W1964809718 hasRelatedWork W1973868432 @default.
- W1964809718 hasRelatedWork W2000472767 @default.
- W1964809718 hasRelatedWork W2033084216 @default.
- W1964809718 hasRelatedWork W2037690395 @default.
- W1964809718 hasRelatedWork W2043100293 @default.
- W1964809718 hasRelatedWork W2044332237 @default.
- W1964809718 hasRelatedWork W2058010643 @default.
- W1964809718 hasRelatedWork W2093128520 @default.
- W1964809718 hasRelatedWork W2103658959 @default.
- W1964809718 hasRelatedWork W2106385733 @default.
- W1964809718 hasRelatedWork W2124682870 @default.
- W1964809718 hasRelatedWork W2589907080 @default.
- W1964809718 hasRelatedWork W3099490925 @default.
- W1964809718 hasRelatedWork W3145128584 @default.
- W1964809718 hasRelatedWork W3158747708 @default.
- W1964809718 isParatext "false" @default.
- W1964809718 isRetracted "false" @default.
- W1964809718 magId "1964809718" @default.
- W1964809718 workType "article" @default.