Skip to main navigation Skip to search Skip to main content

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

  • Gabor Kusper

Research output: Chapter in Book/Report/Conference proceeding › Conference 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