Artur Korniłowicz

Artur Korniłowicz

University at Bialystok - Bialystok / Poland
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1753051
Uniwersytet w Białymstoku
person_outline Artur Korniłowicz's MOST POPULAR ARTICLES
1-) Mizar: State-of-the-art and beyondG Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ...International Conference on Intelligent Computer Mathematics, 261-279, 20152352015
2-) A SAT based approach for solving formulas over boolean and linear mathematical propositionsG Audemard, P Bertoli, A Cimatti, A Korniłowicz, R SebastianiInternational Conference on Automated Deduction, 195-210, 20022292002
3-) Mizar in a nutshellA Grabowski, A Kornilowicz, A NaumowiczJournal of Formalized Reasoning 3 (2), 153-245, 20101882010
4-) The role of the Mizar Mathematical Library for interactive proof development in MizarG Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ...Journal of Automated Reasoning 61, 9-32, 20182082018
5-) Bounded model checking for timed systemsG Audemard, A Cimatti, A Kornilowicz, R SebastianiInternational Conference on Formal Techniques for Networked and Distributed …, 20021702002