Generalizing DPLL and satisfiability for equalities

MLA

Badban, B.(Bahareh), et al. Generalizing DPLL and Satisfiability for Equalities. 2004. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1251890768&authtype=sso&custid=ns315887.

APA

Badban, B. (Bahareh), Pol, J. C. (Jaco) van de, Tveretina, O., & Zantema, H. (Hans). (2004). Generalizing DPLL and satisfiability for equalities.

Chicago

Badban, B. (Bahareh), J.C. (Jaco) van de Pol, O. Tveretina, and H. (Hans) Zantema. 2004. “Generalizing DPLL and Satisfiability for Equalities.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1251890768&authtype=sso&custid=ns315887.