VSL 2014: VIENNA SUMMER OF LOGIC 2014
Marijn Heule
Organization: The University of Texas at Austin
Web site: http://www.cs.utexas.edu/~marijn
Pages in this Program
All Proceedings Papers
APPA 2014 VSL Proceedings
APPA 2014 VSL Proceedings: Papers with Abstracts
APPA on Friday, July 18th
APPA Program
CAV on Saturday, July 19th
CAV Program
IJCAR 2014 LNCS proceedings
IJCAR 2014 LNCS proceedings: Papers with Abstracts
IJCAR on Saturday, July 19th
IJCAR Program
LaSh Call for Papers
LaSh Program Committee
PAAR Call for Papers
PAAR Program Committee
Paper: DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
Paper: Everything You Always Wanted to Know About Blocked Sets (But Were Afraid to Ask)
Paper: MUS Extraction using Clausal Proofs
Paper: Satisfiability Solvers
Paper: Unified Proof System for QBF Preprocessing
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 Friday, July 18th
Program for Monday, July 14th
Program for Saturday, July 19th
Program for Sunday, July 13th
Program for Wednesday, July 16th
QBF on Sunday, July 13th
QBF Program
SAT 2014 LNCS Proceedings
SAT 2014 LNCS Proceedings: Papers with Abstracts
SAT on Monday, July 14th
SAT on Wednesday, July 16th
SAT Program
SAT Program Committee
Disclaimer | Powered by EasyChair Smart Program