Captain Jack: New Variable Selection Heuristics in Local Search for SAT
Erstveröffentlichung
2011
Beitrag zu einer Konferenz
Published in
Theory and application of satisfiability testing - SAT 2011 / Sakallah, Karem A. (Hrsg.). - Berlin : Springer, 2011. - (Lecture Notes in Computer Science ; 6695). - S. 302-316. - ISBN 978-3-642-21581-0. - ISSN 0302-9743. - eISSN 1611-3349
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Theoretische InformatikConference
14th International Conference on Theory and Applications of Satisfiability Testing (SAT), 2011-06-19 - 2011-06-22, Ann Arbor