Propagation via lazy clause generation

Author: Ohrimenko Olga   Stuckey Peter   Codish Michael  

Publisher: Springer Publishing Company

ISSN: 1383-7133

Source: Constraints, Vol.14, Iss.3, 2009-09, pp. : 357-391

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract