FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W171135111> ?p ?o ?g. }

• W171135111 abstract "A random planted formula is constructed by, first, fixing a certain, planted assignment to the variables, and then adding only clauses that are satisfied by the planted assignment. The purpose of such approach is to generate a random-like formula that is guaranteed to have a satisfying assignment. The random planted 3-SAT has received significant attention. In particular, it has been shown through different approaches that when containing sufficiently many clauses such a problem is solvable with high probability in polynomial time. In this work we obtain a similar result for the random planted Not-All-Equal-SAT problem, which is defined in the same way except that the clauses added are the Not-All-Equal clauses. We follow one of the aforementioned approaches by Krivelevich and Vilenchik. Their algorithm first obtains an approximation of the planted solution by counting the number of occurrences of each variable positively and negatively, then unassigning ‘unreliable’ variables and searching an assignment for then by brute force. In the case of NAE-SAT the first step, voting, makes no sense. We show that the same result can be achieved by solving the MAX-CUT problem in the co-occurrence graph of the formula." @default.
• W171135111 created "2016-06-24" @default.
• W171135111 creator A5008416216 @default.
• W171135111 date "2010-06-30" @default.
• W171135111 modified "2023-09-27" @default.
• W171135111 title "Finding a satisfying assignment for planted NAE-E3-SAT using a voting style algorithm" @default.
• W171135111 cites W117707387 @default.
• W171135111 cites W1495369628 @default.
• W171135111 cites W1539326816 @default.
• W171135111 cites W1583361400 @default.
• W171135111 cites W1594093112 @default.
• W171135111 cites W1667614912 @default.
• W171135111 cites W1822195155 @default.
• W171135111 cites W1823551964 @default.
• W171135111 cites W1862403209 @default.
• W171135111 cites W1967935161 @default.
• W171135111 cites W1975442866 @default.
• W171135111 cites W1978732816 @default.
• W171135111 cites W1983171306 @default.
• W171135111 cites W1985123706 @default.
• W171135111 cites W1989645685 @default.
• W171135111 cites W1989970914 @default.
• W171135111 cites W1994098212 @default.
• W171135111 cites W2000931246 @default.
• W171135111 cites W2001897405 @default.
• W171135111 cites W2011039300 @default.
• W171135111 cites W2022695609 @default.
• W171135111 cites W2023622935 @default.
• W171135111 cites W2036265926 @default.
• W171135111 cites W2042587503 @default.
• W171135111 cites W2045132403 @default.
• W171135111 cites W2047472567 @default.
• W171135111 cites W2050219405 @default.
• W171135111 cites W2053619330 @default.
• W171135111 cites W2057361103 @default.
• W171135111 cites W2059608229 @default.
• W171135111 cites W2062897452 @default.
• W171135111 cites W2065217265 @default.
• W171135111 cites W2066930380 @default.
• W171135111 cites W2087662271 @default.
• W171135111 cites W2096307462 @default.
• W171135111 cites W2097038024 @default.
• W171135111 cites W2097532582 @default.
• W171135111 cites W2116758077 @default.
• W171135111 cites W2116832335 @default.
• W171135111 cites W2117461856 @default.
• W171135111 cites W2126446661 @default.
• W171135111 cites W2136558174 @default.
• W171135111 cites W2142127354 @default.
• W171135111 cites W2165372647 @default.
• W171135111 cites W2181751480 @default.
• W171135111 cites W2182486526 @default.
• W171135111 cites W2806518615 @default.
• W171135111 cites W3175502364 @default.
• W171135111 cites W4983232 @default.
• W171135111 hasPublicationYear "2010" @default.
• W171135111 type Work @default.
• W171135111 sameAs 171135111 @default.
• W171135111 citedByCount "0" @default.
• W171135111 crossrefType "dissertation" @default.
• W171135111 hasAuthorship W171135111A5008416216 @default.
• W171135111 hasConcept C105795698 @default.
• W171135111 hasConcept C11413529 @default.
• W171135111 hasConcept C114614502 @default.
• W171135111 hasConcept C118615104 @default.
• W171135111 hasConcept C122123141 @default.
• W171135111 hasConcept C129410224 @default.
• W171135111 hasConcept C132525143 @default.
• W171135111 hasConcept C153668964 @default.
• W171135111 hasConcept C154945302 @default.
• W171135111 hasConcept C17744445 @default.
• W171135111 hasConcept C199539241 @default.
• W171135111 hasConcept C311688 @default.
• W171135111 hasConcept C33923547 @default.
• W171135111 hasConcept C41008148 @default.
• W171135111 hasConcept C520049643 @default.
• W171135111 hasConcept C94625758 @default.
• W171135111 hasConceptScore W171135111C105795698 @default.
• W171135111 hasConceptScore W171135111C11413529 @default.
• W171135111 hasConceptScore W171135111C114614502 @default.
• W171135111 hasConceptScore W171135111C118615104 @default.
• W171135111 hasConceptScore W171135111C122123141 @default.
• W171135111 hasConceptScore W171135111C129410224 @default.
• W171135111 hasConceptScore W171135111C132525143 @default.
• W171135111 hasConceptScore W171135111C153668964 @default.
• W171135111 hasConceptScore W171135111C154945302 @default.
• W171135111 hasConceptScore W171135111C17744445 @default.
• W171135111 hasConceptScore W171135111C199539241 @default.
• W171135111 hasConceptScore W171135111C311688 @default.
• W171135111 hasConceptScore W171135111C33923547 @default.
• W171135111 hasConceptScore W171135111C41008148 @default.
• W171135111 hasConceptScore W171135111C520049643 @default.
• W171135111 hasConceptScore W171135111C94625758 @default.
• W171135111 hasLocation W1711351111 @default.
• W171135111 hasOpenAccess W171135111 @default.
• W171135111 hasPrimaryLocation W1711351111 @default.
• W171135111 hasRelatedWork W1496944401 @default.
• W171135111 hasRelatedWork W165843643 @default.
• W171135111 hasRelatedWork W16941573 @default.
• W171135111 hasRelatedWork W1788659242 @default.

• next