Matches in SemOpenAlex for { <https://semopenalex.org/work/W2555367912> ?p ?o ?g. }
- W2555367912 abstract "In this paper, we study several variable-based satisfiability preserving assignments to the constraint satisfaction problem. In particular, we consider fixable, autark and satisfiable partial assignments, as well as their local and linear forms. We show the inclusion relationships among the original and local forms of the satisfiability preserving assignments, and discuss maximality for linear satisfiability preserving assignments, which are defined as linear cones of the associated real space. As an application, we present a pseudo-polynomial time algorithm that computes a linear fixable assignment for integer linear systems, which also implies the well known pseudo-polynomially for integer linear systems such as two variables par inequality (TVPI), Horn and q-Horn systems." @default.
- W2555367912 created "2016-11-30" @default.
- W2555367912 creator A5004524485 @default.
- W2555367912 creator A5029292642 @default.
- W2555367912 date "2014-01-01" @default.
- W2555367912 modified "2023-10-01" @default.
- W2555367912 title "MATHEMATICAL ENGINEERING TECHNICAL REPORTS Satisability Preserving Assignments and Their Local and Linear Forms" @default.
- W2555367912 cites W153965054 @default.
- W2555367912 cites W1542895643 @default.
- W2555367912 cites W1545792963 @default.
- W2555367912 cites W1571873445 @default.
- W2555367912 cites W1585761983 @default.
- W2555367912 cites W1688621481 @default.
- W2555367912 cites W1709155369 @default.
- W2555367912 cites W1874991206 @default.
- W2555367912 cites W1970251068 @default.
- W2555367912 cites W1981549588 @default.
- W2555367912 cites W1983342871 @default.
- W2555367912 cites W1997649256 @default.
- W2555367912 cites W1998113645 @default.
- W2555367912 cites W2003160050 @default.
- W2555367912 cites W2014111643 @default.
- W2555367912 cites W2036265926 @default.
- W2555367912 cites W2042705674 @default.
- W2555367912 cites W2043193943 @default.
- W2555367912 cites W2060398342 @default.
- W2555367912 cites W2093128520 @default.
- W2555367912 cites W2100440346 @default.
- W2555367912 cites W2103658959 @default.
- W2555367912 cites W2114616381 @default.
- W2555367912 cites W2150529683 @default.
- W2555367912 cites W2163565855 @default.
- W2555367912 cites W2165144647 @default.
- W2555367912 cites W2166566648 @default.
- W2555367912 cites W2295900434 @default.
- W2555367912 cites W2337098149 @default.
- W2555367912 cites W2340851418 @default.
- W2555367912 cites W2800596119 @default.
- W2555367912 cites W2915635474 @default.
- W2555367912 cites W47957325 @default.
- W2555367912 cites W86044744 @default.
- W2555367912 hasPublicationYear "2014" @default.
- W2555367912 type Work @default.
- W2555367912 sameAs 2555367912 @default.
- W2555367912 citedByCount "0" @default.
- W2555367912 crossrefType "journal-article" @default.
- W2555367912 hasAuthorship W2555367912A5004524485 @default.
- W2555367912 hasAuthorship W2555367912A5029292642 @default.
- W2555367912 hasConcept C105795698 @default.
- W2555367912 hasConcept C11413529 @default.
- W2555367912 hasConcept C114614502 @default.
- W2555367912 hasConcept C118615104 @default.
- W2555367912 hasConcept C126255220 @default.
- W2555367912 hasConcept C134306372 @default.
- W2555367912 hasConcept C168773769 @default.
- W2555367912 hasConcept C176370821 @default.
- W2555367912 hasConcept C182365436 @default.
- W2555367912 hasConcept C199360897 @default.
- W2555367912 hasConcept C199622910 @default.
- W2555367912 hasConcept C2524010 @default.
- W2555367912 hasConcept C2776036281 @default.
- W2555367912 hasConcept C311688 @default.
- W2555367912 hasConcept C33923547 @default.
- W2555367912 hasConcept C41008148 @default.
- W2555367912 hasConcept C41045048 @default.
- W2555367912 hasConcept C45555294 @default.
- W2555367912 hasConcept C49937458 @default.
- W2555367912 hasConcept C56086750 @default.
- W2555367912 hasConcept C6802819 @default.
- W2555367912 hasConcept C84135550 @default.
- W2555367912 hasConcept C97137487 @default.
- W2555367912 hasConceptScore W2555367912C105795698 @default.
- W2555367912 hasConceptScore W2555367912C11413529 @default.
- W2555367912 hasConceptScore W2555367912C114614502 @default.
- W2555367912 hasConceptScore W2555367912C118615104 @default.
- W2555367912 hasConceptScore W2555367912C126255220 @default.
- W2555367912 hasConceptScore W2555367912C134306372 @default.
- W2555367912 hasConceptScore W2555367912C168773769 @default.
- W2555367912 hasConceptScore W2555367912C176370821 @default.
- W2555367912 hasConceptScore W2555367912C182365436 @default.
- W2555367912 hasConceptScore W2555367912C199360897 @default.
- W2555367912 hasConceptScore W2555367912C199622910 @default.
- W2555367912 hasConceptScore W2555367912C2524010 @default.
- W2555367912 hasConceptScore W2555367912C2776036281 @default.
- W2555367912 hasConceptScore W2555367912C311688 @default.
- W2555367912 hasConceptScore W2555367912C33923547 @default.
- W2555367912 hasConceptScore W2555367912C41008148 @default.
- W2555367912 hasConceptScore W2555367912C41045048 @default.
- W2555367912 hasConceptScore W2555367912C45555294 @default.
- W2555367912 hasConceptScore W2555367912C49937458 @default.
- W2555367912 hasConceptScore W2555367912C56086750 @default.
- W2555367912 hasConceptScore W2555367912C6802819 @default.
- W2555367912 hasConceptScore W2555367912C84135550 @default.
- W2555367912 hasConceptScore W2555367912C97137487 @default.
- W2555367912 hasLocation W25553679121 @default.
- W2555367912 hasOpenAccess W2555367912 @default.
- W2555367912 hasPrimaryLocation W25553679121 @default.
- W2555367912 hasRelatedWork W1532888758 @default.
- W2555367912 hasRelatedWork W1783037402 @default.
- W2555367912 hasRelatedWork W1783188755 @default.