Show simple item record

AuthorTompkins, Dave A.
AuthorHoos, Holger
Date of
Available in OPARU
Date of first
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
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

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record