FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Algebraic crossover operators	Algebraic Crossover Operators for Permutations (PDF, talk)
Algebraic evolutionary computation	Algebraic Crossover Operators for Permutations (PDF, talk)
Answer Set Programming	Externally Supported Models for Efficient Computation of Paracoherent Answer Sets (PDF, talk) Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper) (PDF, talk)
Automated configuration	On the Configuration of SAT Formulae (PDF, talk)
B
BDD	Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited (PDF, talk)
C
case study	Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network (PDF, talk)
CNF configuration	On the Configuration of SAT Formulae (PDF, talk)
combinatorial search algorithms	Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic (PDF, talk)
Constrained Optimization	Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper) (PDF, talk)
Constraint Logic Programming on Finite Domains	Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper) (PDF, talk)
Constraint programming	Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited (PDF, talk)
constraint satisfaction	Partial (Neighbourhood) Singleton Arc Consistency for Constraint Satisfaction Problems (PDF, talk) Replaceability for constraint satisfaction problems: Algorithms, Inferences, and Complexity Patterns (PDF, talk)
critical complexity region	Replaceability for constraint satisfaction problems: Algorithms, Inferences, and Complexity Patterns (PDF, talk)
Curry-Howard isomorphism	Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic (PDF, talk)
Cutting and Packing	An Enhanced Genetic Algorithm with the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem (PDF, talk)
D
Declarative Algorithms	Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic (PDF, talk)
G
Genetic algorithms	An Enhanced Genetic Algorithm with the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem (PDF, talk)
Greedy Heuristics	Greedy Randomized Search for Scalable Compilation of Quantum Circuits (PDF, talk)
Guillotine Constraint	An Enhanced Genetic Algorithm with the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem (PDF, talk)
H
heuristics	An Enhanced Genetic Algorithm with the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem (PDF, talk)
hybrid system simulators	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction. (PDF, talk)
L
logic programming	Externally Supported Models for Efficient Computation of Paracoherent Answer Sets (PDF, talk) Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic (PDF, talk)
Logic Programming Applications	Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper) (PDF, talk)
M
Mixed Integer Linear Programming	Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network (PDF, talk)
N
neighbourhood singleton arc consistency	Partial (Neighbourhood) Singleton Arc Consistency for Constraint Satisfaction Problems (PDF, talk)
Non-monotonic Reasoning	Externally Supported Models for Efficient Computation of Paracoherent Answer Sets (PDF, talk)
O
Optical Networks on Chip	Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper) (PDF, talk)
Optimisation	Greedy Randomized Search for Scalable Compilation of Quantum Circuits (PDF, talk) Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network (PDF, talk)
P
Paracoherent Answer Sets	Externally Supported Models for Efficient Computation of Paracoherent Answer Sets (PDF, talk)
PB constraints	Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited (PDF, talk)
Permutation problems	Algebraic Crossover Operators for Permutations (PDF, talk)
Planning	Greedy Randomized Search for Scalable Compilation of Quantum Circuits (PDF, talk)
precision medicine	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction. (PDF, talk)
premature convergence	An Enhanced Genetic Algorithm with the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem (PDF, talk)
propositional implicational intuitionistic logic	Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic (PDF, talk)
Pseudo-Boolean Optimisation	Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network (PDF, talk)
Q
Quantum Computing	Greedy Randomized Search for Scalable Compilation of Quantum Circuits (PDF, talk)
R
Random Algorithms	Greedy Randomized Search for Scalable Compilation of Quantum Circuits (PDF, talk)
replaceability	Replaceability for constraint satisfaction problems: Algorithms, Inferences, and Complexity Patterns (PDF, talk)
S
SAT encoding	Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited (PDF, talk)
Satisfiability	On the Configuration of SAT Formulae (PDF, talk)
Scheduling	Greedy Randomized Search for Scalable Compilation of Quantum Circuits (PDF, talk)
search	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction. (PDF, talk)
simply typed lambda terms	Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic (PDF, talk)
singleton arc consistency	Partial (Neighbourhood) Singleton Arc Consistency for Constraint Satisfaction Problems (PDF, talk)
substitutability	Replaceability for constraint satisfaction problems: Algorithms, Inferences, and Complexity Patterns (PDF, talk)
T
theorem proving	Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic (PDF, talk)
type inference and type inhabitation	Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic (PDF, talk)
V
virtual physiological human	Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction. (PDF, talk)
W
Wireless Networks	Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program