Gabor Kusper,
"Solving the Resolution-Free SAT Problem in Polynomial Time by Sub-Model Propagation"
: Proceedings of the 5th International Conference on Applied Informatics, 2-2001, G. Kusper 5th International Conference on Applied Informatics, Eger, Hungary, 28.01. - 3.02.01
Original Titel:
Solving the Resolution-Free SAT Problem in Polynomial Time by Sub-Model Propagation
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 5th International Conference on Applied Informatics
Erscheinungsmonat:
2
Erscheinungsjahr:
2001
Notiz zum Zitat:
G. Kusper 5th International Conference on Applied Informatics, Eger, Hungary, 28.01. - 3.02.01