Other Publications

1. Artur Kornilowicz
   "Mathematical Models of Generic Programming"
   11-th International Congress of Logic, Methodology and Philosophy of Science - Volume of Abstracts, p. 85, 1999.
2. Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
   "Bounded Model Checking for Timed Systems"
   In Proc. 22nd Joint International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2002). Houston, TX, USA, November 2002. LNCS 2529 © Springer Verlag, pp. 243--259.
3. Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
   "A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions"
   In Proc. 18th "Int. Conference of Automated Deduction, CADE'02." LNAI 2392 © Springer Verlag, pp. 195--210.
4. Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
   "Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements"
   In "Artificial Intelligence, Automated Reasoning, and Symbolic Computation. Proc. of Joint AISC 2002 and Calculemus 2002." Marseille, France, 2002. LNAI 2385 © Springer Verlag, pp. 231--245.
5. Artur Kornilowicz and Christoph Schwarzweller
   "Computers and Algorithms in Mizar"
   Mechanized Mathematics and Its Applications, 4(1), pp. 43--50, August 2005.
6. Artur Kornilowicz
   "Formalization of the Jordan Curve Theorem in Mizar"
   International Congress of Mathematicians, Volume of Abstracts, p. 611, Madrid, Spain, August 2006.