Matches in SemOpenAlex for { <https://semopenalex.org/work/W4318144062> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4318144062 abstract "Determining the satisfiability of Boolean constraint-satisfaction problems with different types of constraints, that is hybrid constraints, is a well-studied problem with important applications. We study here a new application of hybrid Boolean constraints, which arises in quantum computing. The problem relates to constrained perfect matching in edge-colored graphs. While general-purpose hybrid constraint solvers can be powerful, we show that direct encodings of the constrained-matching problem as hybrid constraints scale poorly and special techniques are still needed. We propose a novel encoding based on Tutte's Theorem in graph theory as well as optimization techniques. Empirical results demonstrate that our encoding, in suitable languages with advanced SAT solvers, scales significantly better than a number of competing approaches on constrained-matching benchmarks. Our study identifies the necessity of designing problem-specific encodings when applying powerful general-purpose constraint solvers." @default.
- W4318144062 created "2023-01-26" @default.
- W4318144062 creator A5000059818 @default.
- W4318144062 creator A5019005078 @default.
- W4318144062 date "2023-01-24" @default.
- W4318144062 modified "2023-09-29" @default.
- W4318144062 title "Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints" @default.
- W4318144062 doi "https://doi.org/10.48550/arxiv.2301.09833" @default.
- W4318144062 hasPublicationYear "2023" @default.
- W4318144062 type Work @default.
- W4318144062 citedByCount "0" @default.
- W4318144062 crossrefType "posted-content" @default.
- W4318144062 hasAuthorship W4318144062A5000059818 @default.
- W4318144062 hasAuthorship W4318144062A5019005078 @default.
- W4318144062 hasBestOaLocation W43181440621 @default.
- W4318144062 hasConcept C105795698 @default.
- W4318144062 hasConcept C125411270 @default.
- W4318144062 hasConcept C126255220 @default.
- W4318144062 hasConcept C154945302 @default.
- W4318144062 hasConcept C165064840 @default.
- W4318144062 hasConcept C199622910 @default.
- W4318144062 hasConcept C2524010 @default.
- W4318144062 hasConcept C2776036281 @default.
- W4318144062 hasConcept C33923547 @default.
- W4318144062 hasConcept C41008148 @default.
- W4318144062 hasConcept C44616089 @default.
- W4318144062 hasConcept C49937458 @default.
- W4318144062 hasConcept C6943359 @default.
- W4318144062 hasConcept C80444323 @default.
- W4318144062 hasConceptScore W4318144062C105795698 @default.
- W4318144062 hasConceptScore W4318144062C125411270 @default.
- W4318144062 hasConceptScore W4318144062C126255220 @default.
- W4318144062 hasConceptScore W4318144062C154945302 @default.
- W4318144062 hasConceptScore W4318144062C165064840 @default.
- W4318144062 hasConceptScore W4318144062C199622910 @default.
- W4318144062 hasConceptScore W4318144062C2524010 @default.
- W4318144062 hasConceptScore W4318144062C2776036281 @default.
- W4318144062 hasConceptScore W4318144062C33923547 @default.
- W4318144062 hasConceptScore W4318144062C41008148 @default.
- W4318144062 hasConceptScore W4318144062C44616089 @default.
- W4318144062 hasConceptScore W4318144062C49937458 @default.
- W4318144062 hasConceptScore W4318144062C6943359 @default.
- W4318144062 hasConceptScore W4318144062C80444323 @default.
- W4318144062 hasLocation W43181440621 @default.
- W4318144062 hasOpenAccess W4318144062 @default.
- W4318144062 hasPrimaryLocation W43181440621 @default.
- W4318144062 hasRelatedWork W1593899949 @default.
- W4318144062 hasRelatedWork W2011875321 @default.
- W4318144062 hasRelatedWork W206304267 @default.
- W4318144062 hasRelatedWork W2115566588 @default.
- W4318144062 hasRelatedWork W2121267470 @default.
- W4318144062 hasRelatedWork W2123500285 @default.
- W4318144062 hasRelatedWork W2180856585 @default.
- W4318144062 hasRelatedWork W2365854838 @default.
- W4318144062 hasRelatedWork W3134249384 @default.
- W4318144062 hasRelatedWork W898526996 @default.
- W4318144062 isParatext "false" @default.
- W4318144062 isRetracted "false" @default.
- W4318144062 workType "article" @default.