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

Disclaimer | Powered by EasyChair Smart Program