Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/482
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Nikolić, Mladen | en_US |
dc.contributor.author | Marić, Filip | en_US |
dc.contributor.author | Janičić, Predrag | en_US |
dc.date.accessioned | 2022-08-13T09:51:52Z | - |
dc.date.available | 2022-08-13T09:51:52Z | - |
dc.date.issued | 2009-11-09 | - |
dc.identifier.isbn | 3642027768 | - |
dc.identifier.issn | 03029743 | en |
dc.identifier.uri | https://research.matf.bg.ac.rs/handle/123456789/482 | - |
dc.description.abstract | Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic policies. Despite the outstanding progress in SAT solving in recent years, there is still an appealing lack of techniques for selecting policies appropriate for solving specific input formulae. In this paper we present a methodology for instance-based selection of solver's policies that uses a data-mining classification technique. The methodology also relies on analysis of relationships between formulae, their families, and their suitable solving strategies. The evaluation results are very good, demonstrate practical usability of the methodology, and encourage further efforts in this direction. © 2009 Springer Berlin Heidelberg. | en |
dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en_US |
dc.title | Instance-based selection of policies for SAT solvers | en_US |
dc.type | Conference Paper | en_US |
dc.relation.publication | International Conference on Theory and Applications of Satisfiability Testing SAT 2009 | en_US |
dc.identifier.doi | 10.1007/978-3-642-02777-2_31 | - |
dc.identifier.scopus | 2-s2.0-70350675971 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/70350675971 | - |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.relation.firstpage | 326 | en_US |
dc.relation.lastpage | 340 | en_US |
dc.relation.volume | 5584 LNCS | en_US |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | none | - |
item.openairetype | Conference Paper | - |
crisitem.author.dept | Informatics and Computer Science | - |
crisitem.author.dept | Informatics and Computer Science | - |
crisitem.author.dept | Informatics and Computer Science | - |
crisitem.author.orcid | 0000-0001-7219-6960 | - |
crisitem.author.orcid | 0000-0001-8922-4948 | - |
Appears in Collections: | Research outputs |
SCOPUSTM
Citations
30
checked on Dec 21, 2024
Page view(s)
21
checked on Dec 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.