Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912387574> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2912387574 abstract "The 2012 SMT Competition was held in conjunction with the SMT workshop at IJCAR 2012. Eleven solvers participated, showing improvements over 2011 in some but not all divisions. The competition featured a new unsat-core-generation track and encouraged the demonstration of proof-generation solvers. The series of competitions is expected to be continued at SAT 2013." @default.
- W2912387574 created "2019-02-21" @default.
- W2912387574 creator A5032057278 @default.
- W2912387574 creator A5038636493 @default.
- W2912387574 creator A5049264484 @default.
- W2912387574 creator A5073886655 @default.
- W2912387574 date "2018-01-23" @default.
- W2912387574 modified "2023-09-23" @default.
- W2912387574 title "The 2012 SMT Competition" @default.
- W2912387574 cites W1566273688 @default.
- W2912387574 cites W205991341 @default.
- W2912387574 cites W2159595840 @default.
- W2912387574 cites W2295719766 @default.
- W2912387574 cites W2495599977 @default.
- W2912387574 doi "https://doi.org/10.29007/gj66" @default.
- W2912387574 hasPublicationYear "2018" @default.
- W2912387574 type Work @default.
- W2912387574 sameAs 2912387574 @default.
- W2912387574 citedByCount "1" @default.
- W2912387574 countsByYear W29123875742016 @default.
- W2912387574 crossrefType "proceedings-article" @default.
- W2912387574 hasAuthorship W2912387574A5032057278 @default.
- W2912387574 hasAuthorship W2912387574A5038636493 @default.
- W2912387574 hasAuthorship W2912387574A5049264484 @default.
- W2912387574 hasAuthorship W2912387574A5073886655 @default.
- W2912387574 hasBestOaLocation W29123875741 @default.
- W2912387574 hasConcept C111919701 @default.
- W2912387574 hasConcept C121332964 @default.
- W2912387574 hasConcept C1276947 @default.
- W2912387574 hasConcept C18903297 @default.
- W2912387574 hasConcept C2164484 @default.
- W2912387574 hasConcept C41008148 @default.
- W2912387574 hasConcept C59656382 @default.
- W2912387574 hasConcept C76155785 @default.
- W2912387574 hasConcept C86803240 @default.
- W2912387574 hasConcept C89992363 @default.
- W2912387574 hasConcept C91306197 @default.
- W2912387574 hasConceptScore W2912387574C111919701 @default.
- W2912387574 hasConceptScore W2912387574C121332964 @default.
- W2912387574 hasConceptScore W2912387574C1276947 @default.
- W2912387574 hasConceptScore W2912387574C18903297 @default.
- W2912387574 hasConceptScore W2912387574C2164484 @default.
- W2912387574 hasConceptScore W2912387574C41008148 @default.
- W2912387574 hasConceptScore W2912387574C59656382 @default.
- W2912387574 hasConceptScore W2912387574C76155785 @default.
- W2912387574 hasConceptScore W2912387574C86803240 @default.
- W2912387574 hasConceptScore W2912387574C89992363 @default.
- W2912387574 hasConceptScore W2912387574C91306197 @default.
- W2912387574 hasLocation W29123875741 @default.
- W2912387574 hasOpenAccess W2912387574 @default.
- W2912387574 hasPrimaryLocation W29123875741 @default.
- W2912387574 hasRelatedWork W1594907998 @default.
- W2912387574 hasRelatedWork W2240131733 @default.
- W2912387574 hasRelatedWork W2366879636 @default.
- W2912387574 hasRelatedWork W2367574363 @default.
- W2912387574 hasRelatedWork W2374392832 @default.
- W2912387574 hasRelatedWork W2376481668 @default.
- W2912387574 hasRelatedWork W2377308048 @default.
- W2912387574 hasRelatedWork W2382762727 @default.
- W2912387574 hasRelatedWork W4230267551 @default.
- W2912387574 hasRelatedWork W614709390 @default.
- W2912387574 isParatext "false" @default.
- W2912387574 isRetracted "false" @default.
- W2912387574 magId "2912387574" @default.
- W2912387574 workType "article" @default.