POS PoS'22 FLoC papers: Keyword Index

POS POS'22 FLOC PAPERS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D E G M P R S V X

A
Automated reasoning	Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses (, talk)
B
Binary Decision Diagrams	Combining CDCL, Gauss-Jordan Elimination, and Proof Generation (, talk)
Block Ciphers	Towards an Efficient CNF Encoding of Block Ciphers (, talk)
boolean satisfiability	Combining CDCL, Gauss-Jordan Elimination, and Proof Generation (, talk)
C
CDCL Algorithm	SATViz: Real-Time Visualization of Clausal Proofs (, talk)
Clausal Proofs	Combining CDCL, Gauss-Jordan Elimination, and Proof Generation (, talk)
Clause exchange	DPS: A Framework for Deterministic Parallel SAT Solvers (, talk)
CNF Encoding	Towards an Efficient CNF Encoding of Block Ciphers (, talk)
D
DNF	Dinosat: A SAT Solver with Native DNF Support (, talk)
E
encoding	Towards the shortest DRAT proof of the Pigeonhole Principle (, talk)
G
Gauss-Jordan Elimination	Combining CDCL, Gauss-Jordan Elimination, and Proof Generation (, talk)
M
Multi-Threaded Solving	Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses (, talk)
P
Parallel Reasoning	Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses (, talk)
pigeonhole principle	Towards the shortest DRAT proof of the Pigeonhole Principle (, talk)
Portfolio parallel SAT solver	DPS: A Framework for Deterministic Parallel SAT Solvers (, talk)
Product Configuration	Dinosat: A SAT Solver with Native DNF Support (, talk)
proof of unsatisfiability	Towards the shortest DRAT proof of the Pigeonhole Principle (, talk)
R
Reproducible parallel SAT solving	DPS: A Framework for Deterministic Parallel SAT Solvers (, talk)
S
Sat Solver	Dinosat: A SAT Solver with Native DNF Support (, talk)
SAT Solving	Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses (, talk) SATViz: Real-Time Visualization of Clausal Proofs (, talk)
Straight-line programs	Towards an Efficient CNF Encoding of Block Ciphers (, talk)
V
Visualization	SATViz: Real-Time Visualization of Clausal Proofs (, talk)
X
XOR-CNF	Towards an Efficient CNF Encoding of Block Ciphers (, talk)