Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503020007> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1503020007 endingPage "136" @default.
- W1503020007 startingPage "135" @default.
- W1503020007 abstract "The SAT Conference on Theory and Applications of Satisfiability Testing was held in Lisbon, Portugal, 28-31 May 2007. The conference, which attracted a record-breaking 80 participants, featured 34 papers and two invited presentations. The venue also included the SAT competition, the QBF evaluation, the PB evaluation, and the MAX-SAT evaluation." @default.
- W1503020007 created "2016-06-24" @default.
- W1503020007 creator A5002246957 @default.
- W1503020007 creator A5058622165 @default.
- W1503020007 creator A5077314055 @default.
- W1503020007 date "2007-12-15" @default.
- W1503020007 modified "2023-09-23" @default.
- W1503020007 title "Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing" @default.
- W1503020007 doi "https://doi.org/10.1609/aimag.v28i4.2075" @default.
- W1503020007 hasPublicationYear "2007" @default.
- W1503020007 type Work @default.
- W1503020007 sameAs 1503020007 @default.
- W1503020007 citedByCount "0" @default.
- W1503020007 crossrefType "journal-article" @default.
- W1503020007 hasAuthorship W1503020007A5002246957 @default.
- W1503020007 hasAuthorship W1503020007A5058622165 @default.
- W1503020007 hasAuthorship W1503020007A5077314055 @default.
- W1503020007 hasConcept C11413529 @default.
- W1503020007 hasConcept C168773769 @default.
- W1503020007 hasConcept C18903297 @default.
- W1503020007 hasConcept C41008148 @default.
- W1503020007 hasConcept C6943359 @default.
- W1503020007 hasConcept C80444323 @default.
- W1503020007 hasConcept C86803240 @default.
- W1503020007 hasConcept C91306197 @default.
- W1503020007 hasConceptScore W1503020007C11413529 @default.
- W1503020007 hasConceptScore W1503020007C168773769 @default.
- W1503020007 hasConceptScore W1503020007C18903297 @default.
- W1503020007 hasConceptScore W1503020007C41008148 @default.
- W1503020007 hasConceptScore W1503020007C6943359 @default.
- W1503020007 hasConceptScore W1503020007C80444323 @default.
- W1503020007 hasConceptScore W1503020007C86803240 @default.
- W1503020007 hasConceptScore W1503020007C91306197 @default.
- W1503020007 hasIssue "4" @default.
- W1503020007 hasLocation W15030200071 @default.
- W1503020007 hasOpenAccess W1503020007 @default.
- W1503020007 hasPrimaryLocation W15030200071 @default.
- W1503020007 hasRelatedWork W103439665 @default.
- W1503020007 hasRelatedWork W2394544816 @default.
- W1503020007 hasRelatedWork W2762903127 @default.
- W1503020007 hasRelatedWork W2911534100 @default.
- W1503020007 hasRelatedWork W2911651140 @default.
- W1503020007 hasRelatedWork W2911854048 @default.
- W1503020007 hasRelatedWork W2912208604 @default.
- W1503020007 hasRelatedWork W2912821130 @default.
- W1503020007 hasRelatedWork W2912857557 @default.
- W1503020007 hasRelatedWork W2913709124 @default.
- W1503020007 hasRelatedWork W2913790739 @default.
- W1503020007 hasRelatedWork W2914545443 @default.
- W1503020007 hasRelatedWork W2914729178 @default.
- W1503020007 hasRelatedWork W2915784152 @default.
- W1503020007 hasRelatedWork W2970049512 @default.
- W1503020007 hasRelatedWork W57749258 @default.
- W1503020007 hasRelatedWork W1904669979 @default.
- W1503020007 hasVolume "28" @default.
- W1503020007 isParatext "false" @default.
- W1503020007 isRetracted "false" @default.
- W1503020007 magId "1503020007" @default.
- W1503020007 workType "article" @default.