A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem
Erstveröffentlichung
2009
Beitrag zu einer Konferenz
Published in
Theory and Applications of Satisfiability Testing - SAT 2009. - Berlin : Springer, 2009. - (Lecture Notes in Computer Science ; 5584). - S. 284-297. - ISBN 978-3-642-02776-5. - ISSN 0302-9743
Link to publication
https://dx.doi.org/10.1007/978-3-642-02777-2_28Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Theoretische InformatikConference
12th International Conference on Theory and Applications of Statisfiability Testing, 2009-06-30 - 2009-07-03, Swansea
Subject headings
[Free subject headings]: LOCAL SEARCH[DDC subject group]: DDC 000 / Computer science, information & general works