Solving hard satisfiability problems: A unified algorithm based on discrete Lagrange multipliers

Proceedings of the International Conference on Tools with Artificial Intelligence

Volumn , Issue , 1999, Pages 210-217

  Wu, Zhe ^a   Wah, Benjamin W ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; LAGRANGE MULTIPLIERS; PROBLEM SOLVING;

SATISFIABILITY PROBLEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0033350378     PISSN: 10636730     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)