Solving the Resolution-Free SAT Problem in Polynomial Time by Sub-Model Propagation

Gabor Kusper

Research output: Chapter in Book/Report/Conference proceedingConference proceedings

Original languageEnglish
Title of host publicationProceedings of the 5th International Conference on Applied Informatics
Number of pages10
Publication statusPublished - Feb 2001

Fields of science

  • 101 Mathematics

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this