Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385767701> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4385767701 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 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.
- W4385767701 created "2023-08-12" @default.
- W4385767701 creator A5000059818 @default.
- W4385767701 creator A5019005078 @default.
- W4385767701 date "2023-08-01" @default.
- W4385767701 modified "2023-09-28" @default.
- W4385767701 title "Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints" @default.
- W4385767701 doi "https://doi.org/10.24963/ijcai.2023/227" @default.
- W4385767701 hasPublicationYear "2023" @default.
- W4385767701 type Work @default.
- W4385767701 citedByCount "0" @default.
- W4385767701 crossrefType "proceedings-article" @default.
- W4385767701 hasAuthorship W4385767701A5000059818 @default.
- W4385767701 hasAuthorship W4385767701A5019005078 @default.
- W4385767701 hasBestOaLocation W43857677011 @default.
- W4385767701 hasConcept C105795698 @default.
- W4385767701 hasConcept C111797529 @default.
- W4385767701 hasConcept C11413529 @default.
- W4385767701 hasConcept C125411270 @default.
- W4385767701 hasConcept C126255220 @default.
- W4385767701 hasConcept C154945302 @default.
- W4385767701 hasConcept C165064840 @default.
- W4385767701 hasConcept C187455244 @default.
- W4385767701 hasConcept C199622910 @default.
- W4385767701 hasConcept C2524010 @default.
- W4385767701 hasConcept C2776036281 @default.
- W4385767701 hasConcept C33923547 @default.
- W4385767701 hasConcept C41008148 @default.
- W4385767701 hasConcept C44616089 @default.
- W4385767701 hasConcept C49937458 @default.
- W4385767701 hasConcept C6943359 @default.
- W4385767701 hasConcept C80444323 @default.
- W4385767701 hasConceptScore W4385767701C105795698 @default.
- W4385767701 hasConceptScore W4385767701C111797529 @default.
- W4385767701 hasConceptScore W4385767701C11413529 @default.
- W4385767701 hasConceptScore W4385767701C125411270 @default.
- W4385767701 hasConceptScore W4385767701C126255220 @default.
- W4385767701 hasConceptScore W4385767701C154945302 @default.
- W4385767701 hasConceptScore W4385767701C165064840 @default.
- W4385767701 hasConceptScore W4385767701C187455244 @default.
- W4385767701 hasConceptScore W4385767701C199622910 @default.
- W4385767701 hasConceptScore W4385767701C2524010 @default.
- W4385767701 hasConceptScore W4385767701C2776036281 @default.
- W4385767701 hasConceptScore W4385767701C33923547 @default.
- W4385767701 hasConceptScore W4385767701C41008148 @default.
- W4385767701 hasConceptScore W4385767701C44616089 @default.
- W4385767701 hasConceptScore W4385767701C49937458 @default.
- W4385767701 hasConceptScore W4385767701C6943359 @default.
- W4385767701 hasConceptScore W4385767701C80444323 @default.
- W4385767701 hasLocation W43857677011 @default.
- W4385767701 hasOpenAccess W4385767701 @default.
- W4385767701 hasPrimaryLocation W43857677011 @default.
- W4385767701 hasRelatedWork W1526216923 @default.
- W4385767701 hasRelatedWork W1550483759 @default.
- W4385767701 hasRelatedWork W2012978749 @default.
- W4385767701 hasRelatedWork W2017695771 @default.
- W4385767701 hasRelatedWork W2365854838 @default.
- W4385767701 hasRelatedWork W2912606985 @default.
- W4385767701 hasRelatedWork W3134249384 @default.
- W4385767701 hasRelatedWork W4243835908 @default.
- W4385767701 hasRelatedWork W4313503712 @default.
- W4385767701 hasRelatedWork W898526996 @default.
- W4385767701 isParatext "false" @default.
- W4385767701 isRetracted "false" @default.
- W4385767701 workType "article" @default.