FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Joao Marques-Silva
Organization: Universidade de Lisboa
Web page: http://www.di.fc.ul.pt/~jpms/
Pages in this Program
All Proceedings Papers
IJCAR on Sunday, July 15th
IJCAR Proceedings 9th IJCAR, 2018
IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts
IJCAR Program
Paper: A SAT-Based Approach to Learn Explainable Decision Sets
Paper: On Dual-Rail Based MaxSAT Solving
Paper: PySAT: A Python Toolkit for Prototyping with SAT Oracles
PC Abstracts
PC Abstracts: Papers with Abstracts
PC on Sunday, July 8th
PC Program
Program
Program for Monday, July 9th
Program for Sunday, July 15th
Program for Sunday, July 8th
Program for Thursday, July 12th
SAT on Monday, July 9th
SAT on Thursday, July 12th
SAT Proceedings
SAT Proceedings: Papers with Abstracts
SAT Program