@article{marques-silvaImpactBranchingHeuristics1999,
  title = {The Impact of Branching Heuristics in Propositional Satisfiability Algorithms},
  volume = {1695},
  issn = {16113349},
  doi = {10.1007/3-540-48159-1_5},
  abstract = {This paper studies the practical impact of the branching heuristics used in Propositional Satisfiability (SAT) algorithms, when applied to solving real-world instances of SAT. In addition, different SAT algorithms are experimentally evaluated. The main conclusion of this study is that even though branching heuristics are crucial for solving SAT, other aspects of the organization of SAT algorithms are also essential. Moreover, we provide empirical evidence that for practical instances of SAT, the search pruning techniques included in the most competitive SAT algorithms may be of more fundamental significance than branching heuristics.},
  journaltitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  date = {1999},
  pages = {62--74},
  keywords = {Backtrack search,Branching heuristics,Propositional satisfiability},
  author = {Marques-Silva, João}
}

{"_id":"eEFCcArMy9zBqbXDH","bibbaseid":"marquessilva-theimpactofbranchingheuristicsinpropositionalsatisfiabilityalgorithms","authorIDs":[],"author_short":["Marques-Silva, J."],"bibdata":{"bibtype":"article","type":"article","title":"The Impact of Branching Heuristics in Propositional Satisfiability Algorithms","volume":"1695","issn":"16113349","doi":"10.1007/3-540-48159-1_5","abstract":"This paper studies the practical impact of the branching heuristics used in Propositional Satisfiability (SAT) algorithms, when applied to solving real-world instances of SAT. In addition, different SAT algorithms are experimentally evaluated. The main conclusion of this study is that even though branching heuristics are crucial for solving SAT, other aspects of the organization of SAT algorithms are also essential. Moreover, we provide empirical evidence that for practical instances of SAT, the search pruning techniques included in the most competitive SAT algorithms may be of more fundamental significance than branching heuristics.","journaltitle":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","date":"1999","pages":"62–74","keywords":"Backtrack search,Branching heuristics,Propositional satisfiability","author":[{"propositions":[],"lastnames":["Marques-Silva"],"firstnames":["João"],"suffixes":[]}],"bibtex":"@article{marques-silvaImpactBranchingHeuristics1999,\n title = {The Impact of Branching Heuristics in Propositional Satisfiability Algorithms},\n volume = {1695},\n issn = {16113349},\n doi = {10.1007/3-540-48159-1_5},\n abstract = {This paper studies the practical impact of the branching heuristics used in Propositional Satisfiability (SAT) algorithms, when applied to solving real-world instances of SAT. In addition, different SAT algorithms are experimentally evaluated. The main conclusion of this study is that even though branching heuristics are crucial for solving SAT, other aspects of the organization of SAT algorithms are also essential. Moreover, we provide empirical evidence that for practical instances of SAT, the search pruning techniques included in the most competitive SAT algorithms may be of more fundamental significance than branching heuristics.},\n journaltitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},\n date = {1999},\n pages = {62--74},\n keywords = {Backtrack search,Branching heuristics,Propositional satisfiability},\n author = {Marques-Silva, João}\n}\n\n","author_short":["Marques-Silva, J."],"key":"marques-silvaImpactBranchingHeuristics1999","id":"marques-silvaImpactBranchingHeuristics1999","bibbaseid":"marquessilva-theimpactofbranchingheuristicsinpropositionalsatisfiabilityalgorithms","role":"author","urls":{},"keyword":["Backtrack search","Branching heuristics","Propositional satisfiability"],"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/dlozeve/newblog/master/bib/all.bib","creationDate":"2020-01-08T20:39:39.020Z","downloads":0,"keywords":["backtrack search","branching heuristics","propositional satisfiability"],"search_terms":["impact","branching","heuristics","propositional","satisfiability","algorithms","marques-silva"],"title":"The Impact of Branching Heuristics in Propositional Satisfiability Algorithms","year":null,"dataSources":["3XqdvqRE7zuX4cm8m"]}