Skip to main content

1 Result(s)

within Raihan H. Kibria Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Programming

    The Boolean satisfiability problem (SAT) has many applications in electronic design automation (EDA) as well as theoretical computer science. Most SAT solvers for EDA problems use the DPLL algorithm and confli...

    Raihan H. Kibria, You Li in Genetic Programming (2006)