VSL 2014: VIENNA SUMMER OF LOGIC 2014
VSL FOREWORD
VSL
PROGRAM
VOLUMES
VSL
|
FLoC
|
CAV
|
CSF
|
CSL-LICS
|
ICLP
|
IJCAR
|
ITP
|
RTA-TLCA
|
SAT
|
LC
|
LATD
|
KR
|
DL
|
NMR
|
2FC
|
ACL2
|
ADDCT
|
AISS
|
APPA
|
ARQNL
|
ARW-DT
|
ASA
|
ASPOCP
|
Automatheo
|
CHR
|
CICLOPS-WLPE
|
CLC
|
Coq
|
CSPSAT
|
DCM
|
DTP
|
EC2
|
FCS-FCC
|
FRIDA
|
FWFM
|
GeTFun
|
GSB
|
HCVS
|
HOL
|
HOPA
|
HOR
|
HSB
|
IFIP-WG16
|
INFINITY
|
iPRA
|
ITRS
|
IWC
|
Isabelle
|
KInAR
|
KR4HC
|
LaSh
|
LCC
|
LFMTP
|
LG
|
Linearity
|
LOLA
|
LSB
|
NCPROOFS
|
NLCS
|
NLSR
|
NSV
|
ORE
|
PAAR
|
ParSearchOpt
|
PAS
|
PC
|
PCCR
|
PLP
|
POS
|
PRUV
|
PSC
|
QBF
|
QED
|
QUANTIFY
|
RCRA
|
REORDER
|
RS
|
SMT
|
SD
|
SSV
|
STAST
|
SYNT
|
TermGraph
|
UITP
|
UNIF
|
Vampire
|
VEMDP
|
VERIFY
|
VeriSure
|
VPT
|
VSTTE
|
WING
|
WIR
|
WPTE
|
WST
|
WWV
Norbert Manthey
Organization:
TU Dresden
Web site:
http://www.ki.inf.tu-dresden.de/~norbert/
Pages in this Program
All Proceedings Papers
ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings
ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings: Papers with Abstracts
ARW-DT on Thursday, July 24th
ARW-DT Program
Paper: Detecting cardinality constraints in CNF
Paper: Extended Resolution in Modern SAT Solving
Paper: Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
Paper: New CNF Features and Formula Classification
Paper: Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
POS 2014 Proceedings
POS 2014 Proceedings: Papers with Abstracts
POS Call for Papers
POS on Sunday, July 13th
POS Program
POS Program Committee
Program
Program for Sunday, July 13th
Program for Thursday, July 24th
Program for Wednesday, July 16th
SAT 2014 LNCS Proceedings
SAT 2014 LNCS Proceedings: Papers with Abstracts
SAT on Wednesday, July 16th
SAT Program
SAT Program Committee
Disclaimer
|
Powered by EasyChair Smart Program
