Show simple item record

AuthorTompkins, Dave A. D.dc.contributor.author
AuthorBalint, Adriandc.contributor.author
AuthorHoos, Holger H.dc.contributor.author
Date of accession2021-07-20T11:01:04Zdc.date.accessioned
Available in OPARU since2021-07-20T11:01:04Zdc.date.available
Date of first publication2011dc.date.issued
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
Dewey Decimal GroupDDC 620 / Engineering & allied operationsdc.subject.ddc
TitleCaptain Jack: New Variable Selection Heuristics in Local Search for SATdc.title
Resource typeBeitrag zu einer Konferenzdc.type
FacultyFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.affiliationGeneral
InstitutionInstitut für Theoretische Informatikuulm.affiliationSpecific
DCMI TypeTextuulm.typeDCMI
CategoryPublikationsnachweiseuulm.category
Source - Title of sourceTheory and application of satisfiability testing - SAT 2011source.title
Quellenangabe - HerausgeberSakallah, Karem A.source.contributor.editor1
Source - PublisherBerlinsource.publisherPlace
Source - Place of publicationSpringersource.publisher
Source - Year2011source.year
Source - From page302source.fromPage
Source - To page316source.toPage
Source - SerialLecture Notes in Computer Science ; 6695source.series
Source - ISSN0302-9743source.identifier.issn
Source - eISSN1611-3349source.identifier.eissn
Source - ISBN978-3-642-21581-0source.identifier.isbn
Conference name14th International Conference on Theory and Applications of Satisfiability Testing (SAT)uulm.conferenceName
Conference placeAnn Arboruulm.conferencePlace
Conference start date2011-06-19uulm.conferenceStartDate
Conference end date2011-06-22uulm.conferenceEndDate
CommunityFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.community
WoS000392158300024uulm.identifier.wos
Bibliographyuulmuulm.bibliographie


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record