All Stories

  1. Applying modern SAT-solvers to solving hard problems

    Article • Fundamenta Informaticae, March 2019, IOS Press

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  2. Combining ontology reductions with new approaches to automated abstract planning of Planics

    Article • Applied Soft Computing, April 2017, Elsevier

    PhD Artur Niewiadomski

  3. Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing*

    Article • Fundamenta Informaticae, November 2016, IOS Press

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  4. Generating None-Plans in Order to Find Plans

    Article • January 2015, Springer Science + Business Media

    PhD Artur Niewiadomski

  5. On Generation of Context-Abstract Plans

    Article • January 2015, Springer Science + Business Media

    PhD Artur Niewiadomski

  6. SMT-Based Abstract Parametric Temporal Planning

    Article • January 2015, Springer Science + Business Media

    PhD Artur Niewiadomski

  7. Evolutionary Algorithms for Abstract Planning

    Article • January 2014, Springer Science + Business Media

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  8. A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework

    Article • January 2014, Springer Science + Business Media

    PhD Artur Niewiadomski

  9. Automated abstract planning with use of genetic algorithms

    Article • July 2013, ACM (Association for Computing Machinery)

    PhD Artur Niewiadomski, Professor Wojciech Penczek

  10. Towards Checking Parametric Reachability for UML State Machines

    Article • January 2010, Springer Science + Business Media

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  11. Parametric Model Checking with VerICS

    Article • January 2010, Springer Science + Business Media

    PhD Artur Niewiadomski