FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Abou-Msabah, Slimane	An Enhanced Genetic Algorithm with the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem
Amendola, Giovanni	Externally Supported Models for Efficient Computation of Paracoherent Answer Sets
B
Baba Ali, Ahmed Riadh	An Enhanced Genetic Algorithm with the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem
Baioletti, Marco	Algebraic Crossover Operators for Permutations
Bertozzi, Davide	Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)
D
Di Pompeo, Silvia	Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network
Dodaro, Carmine	Externally Supported Models for Efficient Computation of Paracoherent Answer Sets
E
Ehrig, Rainald	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction.
F
Faber, Wolfgang	Externally Supported Models for Efficient Computation of Paracoherent Answer Sets
Finzi, Alberto	Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network
G
Gavanelli, Marco	Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)
Guarneri, Riccardo	Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network
K
Kjellerstrand, Håkan	Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited
L
Lanciotti, Filiberto	Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network
Leeners, Brigitte	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction.
M
Mancini, Toni	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction. Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network
Mari, Federico	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction.
Massini, Annalisa	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction.
Melatti, Igor	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction.
Milani, Alfredo	Algebraic Crossover Operators for Permutations
N
Nonato, Maddalena	Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)
O
Oddi, Angelo	Greedy Randomized Search for Scalable Compilation of Quantum Circuits
P
Peano, Andrea	Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)
R
Rasconi, Riccardo	Greedy Randomized Search for Scalable Compilation of Quantum Circuits
Ricca, Francesco	Externally Supported Models for Efficient Computation of Paracoherent Answer Sets
Röblitz, Susanna	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction.
S
Sagr, Basma	An Enhanced Genetic Algorithm with the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem
Salvo, Ivano	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction.
Santucci, Valentino	Algebraic Crossover Operators for Permutations
Scialanca, Agostino	Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network
Sinisi, Stefano	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction.
T
Tarau, Paul	Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic
Tronci, Enrico	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction. Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network
V
Vallati, Mauro	On the Configuration of SAT Formulae
W
Wallace, Richard	Replaceability for constraint satisfaction problems: Algorithms, Inferences, and Complexity Patterns Partial (Neighbourhood) Singleton Arc Consistency for Constraint Satisfaction Problems
Z
Zhou, Neng-Fa	Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited

Disclaimer | Powered by EasyChair Smart Program