FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PROGRAM
AUTHORS
KEYWORDS
SLIDES
VOLUMES
FLoC

LICS

ICLP

FSCD

NMR

KR

ITP

CP

SAT

CSF

DL

CAV

IJCAR

Olympic Games

SYNT

HoTT/UF

PC

TERMGRAPH

FoMLAS

ABR

PAAR

FOMEO

XLoKR

PERR

CHANGE

VeriProp

NSV

PLP

WST

IFIPWG1.6

QBF

ThEdu

DECFOML

ModRef

ASPOCP

MC

LMML

GDE

WPTE

GuttmanFest

iPRA

FCS

BCORE

UNIF

Coq

WOLVERINE

PDAR

Isabelle

SMT

ASL

DatalogMTL

TLLALINEARITY

LFMTP

IWC

ARQNL

REAI

PCCR

VardiFest

WiL

FMBC

Mentoring Workshop

SC^2

LogTeach

POS

FRIDA

DSV
Marijn Heule
Affiliation:
Carnegie Mellon University
Web page:
http://www.cs.cmu.edu/~mheule/
Pages in this Program
Accepted Papers
All Proceedings Papers
CP on Tuesday, August 2nd
CP Program
IJCAR 2022 Proceedings of IJCAR 2022
IJCAR 2022 Proceedings of IJCAR 2022: Papers with Abstracts
IJCAR on Monday, August 8th
IJCAR Program
Organization
Paper: Exponential separations using guarded extension variables
Paper: Preprocessing of Propagation Redundant Clauses
Paper: Towards the shortest DRAT proof of the Pigeonhole Principle
Paper: Understandable Proofs of Unsatisfiability
PC 2022 Program papers
PC 2022 Program papers: Papers with Abstracts
PC on Monday, August 1st
PC Program
POS on Monday, August 1st
POS PoS'22 FLoC papers
POS PoS'22 FLoC papers: Papers with Abstracts
POS Program
Program
Program for Monday, August 1st
Program for Monday, August 8th
Program for Thursday, August 4th
Program for Tuesday, August 2nd
Program for Wednesday, August 3rd
QBF on Monday, August 1st
QBF Program
SAT on Thursday, August 4th
SAT on Wednesday, August 3rd
SAT Program
Slides
Slides
Slides
Slides
VardiFest on Monday, August 1st
VardiFest Program
VardiFest22 Talk Abstracts
VardiFest22 Talk Abstracts: Papers with Abstracts
Disclaimer

Powered by EasyChair Smart Program