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 language	English
Title of host publication	Proceedings of the 5th International Conference on Applied Informatics
Number of pages	10
Publication status	Published - Feb 2001

Fields of science