Optimal Neighborhood Preserving Visualization by Maximum Satisfiability (abstract)

Maximal Falsifiability: Definitions, Algorithms, and Applications (abstract)

Latin Squares with Graph Properties (abstract)

Efficient Computation of the Well-Founded Semantics over Big Data (abstract)

Declarative Specification of Benchmark Sessions via ASP (abstract)

A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks (abstract)

A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem (abstract)

Foundations and Technology Competitions Award Ceremony (abstract)

FLoC Olympic Games Award Ceremony 1 (abstract)

FLoC Closing Week 1 (abstract)

A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP (abstract)

Dispensable Instantiations in Constraint Satisfaction Problems (abstract)

Neighbourhood SAC for Preprocessing and Search (abstract)

Concept Learning by a Monte-Carlo Tree Search of Argumentations (abstract)

Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies (abstract)

Self Regulating Mechanisms for Network Immunization (abstract)

An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem (abstract)