( en | de | ru )

 

Disambiguation of "Niewiadomski, Artur"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME.

, , , and . Sci. Ann. Comput. Sci., 28 (2): 269-288 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Patrycja Niewiadomski

Artur Teuscher

Artur Budnowski

Artur Schüler

Artur Schütz

 

Other publications of authors with the same name

Combining ontology reductions with new approaches to automated abstract planning of Planics., , , , and . Appl. Soft Comput., (2017)Evolutionary Algorithms for Abstract Planning., , and . PPAM (1), volume 8384 of Lecture Notes in Computer Science, page 392-401. Springer, (2013)Towards Checking Parametric Reachability for UML State Machines., , and . Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 319-330. Springer, (2009)SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework., , , , and . Fundam. Informaticae, 135 (4): 451-466 (2014)PlanICS 2.0 - A Tool for Composing Services., and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 351-352. CEUR-WS.org, (2014)MsATL: A Tool for SAT-Based ATL Satisfiability Checking., , , , , and . AAMAS, page 2111-2113. International Foundation for Autonomous Agents and Multiagent Systems, (2020)SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME., , , and . Sci. Ann. Comput. Sci., 28 (2): 269-288 (2018)Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing., , , and . Fundam. Informaticae, 147 (2-3): 289-313 (2016)Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios., , , , and . Fundam. Informaticae, 120 (2): 181-203 (2012)PlanICS - a Web Service Composition Toolset., , , , , , , and . Fundam. Informaticae, 112 (1): 47-71 (2011)