Open Access
MATEC Web Conf.
Volume 252, 2019
III International Conference of Computational Methods in Engineering Science (CMES’18)
Article Number 03005
Number of page(s) 5
Section Computational Artificial Intelligence
Published online 14 January 2019
  1. A. Biere, M. Heule, H. van Maaren, and T. Walsh, Handbook of Satisfiability: (Volume 185 Frontiers in Artificial Intelligence and Applications.) Amsterdam, IOS Press (2009) [Google Scholar]
  2. K. Burczyk, System losowego generowania formuł logicznych/System for randomly generated logical formulas, Engineering diploma thesis, supervisor: Radosław Klimek, AGH University of Science and Technology (2018) [Google Scholar]
  3. H. Yuen i J. Bebel. Website ToughtSAT. URL: (accessed 2017-12-10) [Google Scholar]
  4. M. Lauria. Website CNFgen. URL: (accessed 2017-12-05) [Google Scholar]
  5. W. Kleiber: QCIR-to-QDIMACS converter. URL: (accessed 2018.07.13) [Google Scholar]
  6. S. Troschütz. Website Project Troschuetz. URL: (accessed 2018-01-01) [Google Scholar]
  7. B. Selman, D. Mitchelly i H. Levesquez. Generating Hard Satisfiability Problems. Artificial Intelligence, 81, (1996) [Google Scholar]
  8. R. Klimek, Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services, IEEE Access, 6, (2018) [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.