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