FRINK Linked Data Fragments server

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

• W3120703012 abstract "We define a tableau calculus for solving the MaxSAT problem of 3-valued Łukasiewicz logic, and prove its soundness and completeness. The calculus can be naturally extended to other finitely-valued logics. Our contributions establish the foundations of a generic problem solving paradigm for combinatorial optimization based on Łukasiewicz logic." @default.
• W3120703012 created "2021-01-18" @default.
• W3120703012 creator A5042836375 @default.
• W3120703012 creator A5061148416 @default.
• W3120703012 creator A5085262547 @default.
• W3120703012 date "2020-11-01" @default.
• W3120703012 modified "2023-09-29" @default.
• W3120703012 title "Tableaux for Maximum Satisfiability in Łukasiewicz Logic" @default.
• W3120703012 cites W111132822 @default.
• W3120703012 cites W152472178 @default.
• W3120703012 cites W153078869 @default.
• W3120703012 cites W1569133313 @default.
• W3120703012 cites W2009689138 @default.
• W3120703012 cites W2027945171 @default.
• W3120703012 cites W2071319337 @default.
• W3120703012 cites W2126446661 @default.
• W3120703012 cites W2143810536 @default.
• W3120703012 cites W2154352023 @default.
• W3120703012 cites W2257229066 @default.
• W3120703012 cites W2400416677 @default.
• W3120703012 cites W2403824214 @default.
• W3120703012 cites W2572319156 @default.
• W3120703012 cites W2606163794 @default.
• W3120703012 cites W2752537240 @default.
• W3120703012 cites W2796386476 @default.
• W3120703012 cites W2835394801 @default.
• W3120703012 cites W2961024031 @default.
• W3120703012 cites W2969747068 @default.
• W3120703012 cites W2971244387 @default.
• W3120703012 cites W2995373617 @default.
• W3120703012 cites W37002918 @default.
• W3120703012 cites W39510960 @default.
• W3120703012 doi "https://doi.org/10.1109/ismvl49045.2020.00007" @default.
• W3120703012 hasPublicationYear "2020" @default.
• W3120703012 type Work @default.
• W3120703012 sameAs 3120703012 @default.
• W3120703012 citedByCount "1" @default.
• W3120703012 countsByYear W31207030122023 @default.
• W3120703012 crossrefType "proceedings-article" @default.
• W3120703012 hasAuthorship W3120703012A5042836375 @default.
• W3120703012 hasAuthorship W3120703012A5061148416 @default.
• W3120703012 hasAuthorship W3120703012A5085262547 @default.
• W3120703012 hasBestOaLocation W31207030123 @default.
• W3120703012 hasConcept C102993220 @default.
• W3120703012 hasConcept C111797529 @default.
• W3120703012 hasConcept C118615104 @default.
• W3120703012 hasConcept C134306372 @default.
• W3120703012 hasConcept C136119220 @default.
• W3120703012 hasConcept C144760519 @default.
• W3120703012 hasConcept C150889026 @default.
• W3120703012 hasConcept C168773769 @default.
• W3120703012 hasConcept C17231256 @default.
• W3120703012 hasConcept C187455244 @default.
• W3120703012 hasConcept C199343813 @default.
• W3120703012 hasConcept C199360897 @default.
• W3120703012 hasConcept C202444582 @default.
• W3120703012 hasConcept C206321295 @default.
• W3120703012 hasConcept C2777686260 @default.
• W3120703012 hasConcept C33923547 @default.
• W3120703012 hasConcept C39920170 @default.
• W3120703012 hasConcept C41008148 @default.
• W3120703012 hasConcept C6943359 @default.
• W3120703012 hasConcept C71924100 @default.
• W3120703012 hasConcept C80444323 @default.
• W3120703012 hasConceptScore W3120703012C102993220 @default.
• W3120703012 hasConceptScore W3120703012C111797529 @default.
• W3120703012 hasConceptScore W3120703012C118615104 @default.
• W3120703012 hasConceptScore W3120703012C134306372 @default.
• W3120703012 hasConceptScore W3120703012C136119220 @default.
• W3120703012 hasConceptScore W3120703012C144760519 @default.
• W3120703012 hasConceptScore W3120703012C150889026 @default.
• W3120703012 hasConceptScore W3120703012C168773769 @default.
• W3120703012 hasConceptScore W3120703012C17231256 @default.
• W3120703012 hasConceptScore W3120703012C187455244 @default.
• W3120703012 hasConceptScore W3120703012C199343813 @default.
• W3120703012 hasConceptScore W3120703012C199360897 @default.
• W3120703012 hasConceptScore W3120703012C202444582 @default.
• W3120703012 hasConceptScore W3120703012C206321295 @default.
• W3120703012 hasConceptScore W3120703012C2777686260 @default.
• W3120703012 hasConceptScore W3120703012C33923547 @default.
• W3120703012 hasConceptScore W3120703012C39920170 @default.
• W3120703012 hasConceptScore W3120703012C41008148 @default.
• W3120703012 hasConceptScore W3120703012C6943359 @default.
• W3120703012 hasConceptScore W3120703012C71924100 @default.
• W3120703012 hasConceptScore W3120703012C80444323 @default.
• W3120703012 hasLocation W31207030121 @default.
• W3120703012 hasLocation W31207030122 @default.
• W3120703012 hasLocation W31207030123 @default.
• W3120703012 hasOpenAccess W3120703012 @default.
• W3120703012 hasPrimaryLocation W31207030121 @default.
• W3120703012 hasRelatedWork W1543188503 @default.
• W3120703012 hasRelatedWork W2126331452 @default.
• W3120703012 hasRelatedWork W2141010048 @default.
• W3120703012 hasRelatedWork W2157688865 @default.
• W3120703012 hasRelatedWork W2501721738 @default.
• W3120703012 hasRelatedWork W2736255687 @default.
• W3120703012 hasRelatedWork W2807936239 @default.
• W3120703012 hasRelatedWork W2971244387 @default.
• W3120703012 hasRelatedWork W3120703012 @default.
• W3120703012 hasRelatedWork W4381885911 @default.

• next