Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT

Cite

Text

Li et al. "Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Li et al. "Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/li2006aaai-detecting/)

BibTeX

@inproceedings{li2006aaai-detecting,
  title     = {{Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT}},
  author    = {Li, Chu Min and Manyà, Felip and Planes, Jordi},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {86-91},
  url       = {https://mlanthology.org/aaai/2006/li2006aaai-detecting/}
}