RCRA 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D E F G I J K M P R S T W Z

A
Abou-Msabah, Slimane	An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem (PDF, talk)
Alviano, Mario	Declarative Specification of Benchmark Sessions via ASP (PDF, talk)
Antoniou, Grigoris	Efficient Computation of the Well-Founded Semantics over Big Data (PDF, talk)
B
Baioletti, Marco	A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem (PDF, talk)
Berg, Jeremias	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability (PDF, talk)
Bunte, Kerstin	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability (PDF, talk)
C
Caianiello, Pascal	Concept Learning by a Monte-Carlo Tree Search of Argumentations (PDF, talk)
Chiancone, Andrea	Self Regulating Mechanisms for Network Immunization (PDF, talk)
Constantini, Stefania	Concept Learning by a Monte-Carlo Tree Search of Argumentations (PDF, talk)
Cuteri, Bernardo	Declarative Specification of Benchmark Sessions via ASP (PDF, talk)
D
Draief, Moez	Concept Learning by a Monte-Carlo Tree Search of Argumentations (PDF, talk)
E
Erdem, Esra	A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks (PDF, talk)
F
Faber, Wolfgang	Efficient Computation of the Well-Founded Semantics over Big Data (PDF, talk)
Freuder, Eugene	Dispensable Instantiations in Constraint Satisfaction Problems (PDF, talk)
G
Grimes, Diarmuid	Dispensable Instantiations in Constraint Satisfaction Problems (PDF, talk)
I
Ignatiev, Alexey	Maximal Falsifiability: Definitions, Algorithms, and Applications (PDF, talk)
J
Järvisalo, Matti	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability (PDF, talk)
K
Kamal, Amroun	A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP (PDF, talk)
Kaski, Samuel	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability (PDF, talk)
M
Mancini, Luca	Self Regulating Mechanisms for Network Immunization (PDF, talk)
Marques-Silva, Joao	Maximal Falsifiability: Definitions, Algorithms, and Applications (PDF, talk)
Milani, Alfedo	A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem (PDF, talk)
Milani, Alfredo	Self Regulating Mechanisms for Network Immunization (PDF, talk)
Morgado, Antonio	Maximal Falsifiability: Definitions, Algorithms, and Applications (PDF, talk)
Myllymäki, Petri	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability (PDF, talk)
P
Pathak, Shashank	Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies (PDF, talk)
Patoglu, Volkan	A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks (PDF, talk)
Peltonen, Jaakko	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability (PDF, talk)
Planes, Jordi	Maximal Falsifiability: Definitions, Algorithms, and Applications (PDF, talk)
Poggioni, Valentina	Self Regulating Mechanisms for Network Immunization (PDF, talk)
Pulina, Luca	Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies (PDF, talk)
R
Ricca, Francesco	Declarative Specification of Benchmark Sessions via ASP (PDF, talk)
Riveret, Regis	Concept Learning by a Monte-Carlo Tree Search of Argumentations (PDF, talk)
S
Santucci, Valentino	A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem (PDF, talk)
Schüller, Peter	A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks (PDF, talk)
T
Tacchella, Armando	Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies (PDF, talk)
Tachmazidis, Ilias	Efficient Computation of the Well-Founded Semantics over Big Data (PDF, talk)
W
Wallace, Richard	Dispensable Instantiations in Constraint Satisfaction Problems (PDF, talk) Neighbourhood SAC for Preprocessing and Search (PDF, talk)
Wassila, Aggoune-Mtalaa	A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP (PDF, talk)
Z
Zantema, Hans	Latin Squares with Graph Properties (PDF, talk)
Zineb, Habbas	A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP (PDF, talk)