Multi-threaded relevant LP-inferenceдоклад на конференции