Matches in SemOpenAlex for { <https://semopenalex.org/work/W1967161325> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1967161325 endingPage "1403" @default.
- W1967161325 startingPage "1394" @default.
- W1967161325 abstract "We investigate the complexity of satisfiability problems for { ∪ , ∩ , − , + , × } -circuits computing sets of natural numbers. These problems are a natural generalization of membership problems for expressions and circuits studied by Stockmeyer and Meyer (1973) [10] and McKenzie and Wagner (2003) [8] . Our work shows that satisfiability problems capture a wide range of complexity classes such as NL, P, NP, PSPACE, and beyond. We show that in several cases, satisfiability problems are harder than membership problems. In particular, we prove that testing satisfiability for { ∩ , + , × } -circuits is already undecidable. In contrast to this, the satisfiability for { ∪ , + , × } -circuits is decidable in PSPACE." @default.
- W1967161325 created "2016-06-24" @default.
- W1967161325 creator A5000024520 @default.
- W1967161325 creator A5003902543 @default.
- W1967161325 creator A5013139164 @default.
- W1967161325 creator A5061944359 @default.
- W1967161325 date "2010-07-01" @default.
- W1967161325 modified "2023-10-17" @default.
- W1967161325 title "Satisfiability of algebraic circuits over sets of natural numbers" @default.
- W1967161325 cites W2159341052 @default.
- W1967161325 cites W3130727218 @default.
- W1967161325 doi "https://doi.org/10.1016/j.dam.2010.04.001" @default.
- W1967161325 hasPublicationYear "2010" @default.
- W1967161325 type Work @default.
- W1967161325 sameAs 1967161325 @default.
- W1967161325 citedByCount "6" @default.
- W1967161325 countsByYear W19671613252012 @default.
- W1967161325 countsByYear W19671613252016 @default.
- W1967161325 countsByYear W19671613252017 @default.
- W1967161325 countsByYear W19671613252019 @default.
- W1967161325 countsByYear W19671613252020 @default.
- W1967161325 crossrefType "journal-article" @default.
- W1967161325 hasAuthorship W1967161325A5000024520 @default.
- W1967161325 hasAuthorship W1967161325A5003902543 @default.
- W1967161325 hasAuthorship W1967161325A5013139164 @default.
- W1967161325 hasAuthorship W1967161325A5061944359 @default.
- W1967161325 hasConcept C11413529 @default.
- W1967161325 hasConcept C114614502 @default.
- W1967161325 hasConcept C118615104 @default.
- W1967161325 hasConcept C134306372 @default.
- W1967161325 hasConcept C153269930 @default.
- W1967161325 hasConcept C168773769 @default.
- W1967161325 hasConcept C177148314 @default.
- W1967161325 hasConcept C179799912 @default.
- W1967161325 hasConcept C184264201 @default.
- W1967161325 hasConcept C192034797 @default.
- W1967161325 hasConcept C197685441 @default.
- W1967161325 hasConcept C33923547 @default.
- W1967161325 hasConcept C41008148 @default.
- W1967161325 hasConcept C6943359 @default.
- W1967161325 hasConcept C80444323 @default.
- W1967161325 hasConcept C9376300 @default.
- W1967161325 hasConceptScore W1967161325C11413529 @default.
- W1967161325 hasConceptScore W1967161325C114614502 @default.
- W1967161325 hasConceptScore W1967161325C118615104 @default.
- W1967161325 hasConceptScore W1967161325C134306372 @default.
- W1967161325 hasConceptScore W1967161325C153269930 @default.
- W1967161325 hasConceptScore W1967161325C168773769 @default.
- W1967161325 hasConceptScore W1967161325C177148314 @default.
- W1967161325 hasConceptScore W1967161325C179799912 @default.
- W1967161325 hasConceptScore W1967161325C184264201 @default.
- W1967161325 hasConceptScore W1967161325C192034797 @default.
- W1967161325 hasConceptScore W1967161325C197685441 @default.
- W1967161325 hasConceptScore W1967161325C33923547 @default.
- W1967161325 hasConceptScore W1967161325C41008148 @default.
- W1967161325 hasConceptScore W1967161325C6943359 @default.
- W1967161325 hasConceptScore W1967161325C80444323 @default.
- W1967161325 hasConceptScore W1967161325C9376300 @default.
- W1967161325 hasIssue "13" @default.
- W1967161325 hasLocation W19671613251 @default.
- W1967161325 hasOpenAccess W1967161325 @default.
- W1967161325 hasPrimaryLocation W19671613251 @default.
- W1967161325 hasRelatedWork W1483892218 @default.
- W1967161325 hasRelatedWork W1967161325 @default.
- W1967161325 hasRelatedWork W2005612348 @default.
- W1967161325 hasRelatedWork W2040640762 @default.
- W1967161325 hasRelatedWork W2056142535 @default.
- W1967161325 hasRelatedWork W2119006311 @default.
- W1967161325 hasRelatedWork W2168783150 @default.
- W1967161325 hasRelatedWork W2240617993 @default.
- W1967161325 hasRelatedWork W2964047030 @default.
- W1967161325 hasRelatedWork W3144220040 @default.
- W1967161325 hasVolume "158" @default.
- W1967161325 isParatext "false" @default.
- W1967161325 isRetracted "false" @default.
- W1967161325 magId "1967161325" @default.
- W1967161325 workType "article" @default.