Fundamenta Informaticae - Tom Vol. 167, nr 1-2 (2019) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 167, nr 1-2

Czasopismo

Fundamenta Informaticae

Wydawca

Polskie Towarzystwo Matematyczne

Rocznik

2019

Identyfikatory

Uwagi

Special issue of the 24th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion".

Zawartość wolumenu

Vol. 167, nr 1-2
- artykuł: Argumentation Reasoning via Circumscription with Pyglaf (Alviano Mario), s. 1--30
- artykuł: Model Enumeration via Assumption Literals (Alviano Mario, Dodaro Carmine), s. 31--58
- artykuł: Expansion-based QBF Solving on Tree Decompositions (Charwat Günther, Woltran Stefan), s. 59--92
- artykuł: Efficient Approaches for Solving a Multiobjective Energy-aware Job Shop Scheduling Problem (González Miguel A., Oddi Angelo, Rasconi Riccardo), s. 93--132
- artykuł: Tackling Permutation-based Optimization Problems with an Algebraic Particle Swarm Optimization Algorithm (Santucci Valentino, Baioletti Marco, Milani Alfredo), s. 133--158

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.