Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077378416> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2077378416 abstract "Given a Boolean formula in conjunctive normal form (CNF), the Exact Satisfiability problem (XSAT), a variant of the Satisfiability problem (SAT), consists in finding an assignment to the variables such that each clause contains exactly one satisfied literal. Best algorithms to solve this problem run in ( for X3SAT). Another possibility is to transform each clause in a set of equivalent clauses for the Satisfiability problem and to use modern and powerful solvers (zChaff, Berkmin, MiniSat, RSat etc.) to find such truth assignment. In this paper we introduce three new encodings from XSAT instances to SAT instances that lead to a lot of structural information (equivalency gates and and gates) which is naturally hidden in the pairwise transformation. Some solvers (lsat,march_dl,eqsatz) can take into account this kinds of structural information to make simplifications as pretreatment and speed-up the resolution. Then we show the interest of dealing with the XSAT formalism by introducing an encoding of binary CSP and graph coloring problem into XSAT instances. Preliminary results on real-world binary CSP and graph coloring problem show the importance of exhibiting equivalencies for the XSAT problem." @default.
- W2077378416 created "2016-06-24" @default.
- W2077378416 creator A5031824045 @default.
- W2077378416 creator A5067400535 @default.
- W2077378416 date "2010-03-01" @default.
- W2077378416 modified "2023-10-14" @default.
- W2077378416 title "From XSAT To SAT By Exhibiting Boolean Functions" @default.
- W2077378416 cites W2030227772 @default.
- W2077378416 cites W2067633747 @default.
- W2077378416 cites W2068852367 @default.
- W2077378416 hasPublicationYear "2010" @default.
- W2077378416 type Work @default.
- W2077378416 sameAs 2077378416 @default.
- W2077378416 citedByCount "0" @default.
- W2077378416 crossrefType "journal-article" @default.
- W2077378416 hasAuthorship W2077378416A5031824045 @default.
- W2077378416 hasAuthorship W2077378416A5067400535 @default.
- W2077378416 hasConcept C111797529 @default.
- W2077378416 hasConcept C114614502 @default.
- W2077378416 hasConcept C187455244 @default.
- W2077378416 hasConcept C33923547 @default.
- W2077378416 hasConcept C41008148 @default.
- W2077378416 hasConceptScore W2077378416C111797529 @default.
- W2077378416 hasConceptScore W2077378416C114614502 @default.
- W2077378416 hasConceptScore W2077378416C187455244 @default.
- W2077378416 hasConceptScore W2077378416C33923547 @default.
- W2077378416 hasConceptScore W2077378416C41008148 @default.
- W2077378416 hasLocation W20773784161 @default.
- W2077378416 hasOpenAccess W2077378416 @default.
- W2077378416 hasPrimaryLocation W20773784161 @default.
- W2077378416 hasRelatedWork W1996276855 @default.
- W2077378416 hasRelatedWork W2131164334 @default.
- W2077378416 hasRelatedWork W2883069340 @default.
- W2077378416 hasRelatedWork W2963440954 @default.
- W2077378416 hasRelatedWork W2996462315 @default.
- W2077378416 hasRelatedWork W3141532631 @default.
- W2077378416 hasRelatedWork W3145758888 @default.
- W2077378416 hasRelatedWork W4288044863 @default.
- W2077378416 hasRelatedWork W1993714627 @default.
- W2077378416 hasRelatedWork W2148542302 @default.
- W2077378416 isParatext "false" @default.
- W2077378416 isRetracted "false" @default.
- W2077378416 magId "2077378416" @default.
- W2077378416 workType "article" @default.