default search action
Fundamenta Informaticae, Volume 167
Volume 167, Numbers 1-2, 2019
- Marco Maratea, Ivan Serina, Paolo Torroni:
Preface. v-vii
- Mario Alviano:
Argumentation Reasoning via Circumscription with Pyglaf. 1-30 - Mario Alviano, Carmine Dodaro:
Model Enumeration via Assumption Literals. 31-58 - Günther Charwat, Stefan Woltran:
Expansion-based QBF Solving on Tree Decompositions. 59-92 - Miguel A. González, Angelo Oddi, Riccardo Rasconi:
Efficient Approaches for Solving a Multiobjective Energy-aware Job Shop Scheduling Problem. 93-132 - Valentino Santucci, Marco Baioletti, Alfredo Milani:
Tackling Permutation-based Optimization Problems with an Algebraic Particle Swarm Optimization Algorithm. 133-158
Volume 167, Number 3, 2019
- William Fajardo:
A Computational Maple Library for Skew PBW Extensions. 159-191 - Marcin Michalak, Dominik Slezak:
On Boolean Representation of Continuous Data Biclustering. 193-217 - Darja Rupnik Poklukar, Janez Zerovnik:
Networks with Extremal Closeness. 219-234 - Piotr Wasilewski:
Algebras of Definable Sets vs. Concept Lattices. 235-256
Volume 167, Number 4, 2019
- Nikolay Bazhenov:
Computable Contact Algebras. 257-269 - Ali Gholami Rudi:
Approximate Hotspots of Orthogonal Trajectories. 271-285 - Gösta Grahne, Ali Moallemi:
Universal (and Existential) Nulls. 287-321 - Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski:
From Box Algebra to Interval Temporal Logic. 323-354
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.