POS PoS'22 FLoC papers: Author Index

POS POS'22 FLOC PAPERS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: B F G H I J K L N O S W Z

B
Balyo, Tomas	Dinosat: A SAT Solver with Native DNF Support (, talk)
Bartel, Thomas	Dinosat: A SAT Solver with Native DNF Support (, talk)
Biere, Armin	Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses (, talk)
Bryant, Randal	Combining CDCL, Gauss-Jordan Elimination, and Proof Generation (, talk)
F
Fleury, Mathias	Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses (, talk)
Fukiage, Tsubasa	DPS: A Framework for Deterministic Parallel SAT Solvers (, talk)
G
Grosof, Isaac	Towards the shortest DRAT proof of the Pigeonhole Principle (, talk)
H
Heuer, Tobias	SATViz: Real-Time Visualization of Clausal Proofs (, talk)
Heule, Marijn	Towards the shortest DRAT proof of the Pigeonhole Principle (, talk)
Holzenkamp, Tim	SATViz: Real-Time Visualization of Clausal Proofs (, talk)
I
Inoue, Katsumi	DPS: A Framework for Deterministic Parallel SAT Solvers (, talk)
Iser, Markus	Dinosat: A SAT Solver with Native DNF Support (, talk) SATViz: Real-Time Visualization of Clausal Proofs (, talk)
J
Junosza-Szaniawski, Konstanty	Towards an Efficient CNF Encoding of Block Ciphers (, talk)
K
Kuryshev, Kevin	SATViz: Real-Time Visualization of Clausal Proofs (, talk)
L
Lu, Xiao-Nan	DPS: A Framework for Deterministic Parallel SAT Solvers (, talk)
N
Nabeshima, Hidetomo	DPS: A Framework for Deterministic Parallel SAT Solvers (, talk)
O
Obitsu, Yuto	DPS: A Framework for Deterministic Parallel SAT Solvers (, talk)
Oltmann, Thomas	SATViz: Real-Time Visualization of Clausal Proofs (, talk)
S
Soos, Mate	Combining CDCL, Gauss-Jordan Elimination, and Proof Generation (, talk)
W
Waszkiewicz, Daniel	Towards an Efficient CNF Encoding of Block Ciphers (, talk)
Wäldele, Lucas	SATViz: Real-Time Visualization of Clausal Proofs (, talk)
Z
Zhang, Naifeng	Towards the shortest DRAT proof of the Pigeonhole Principle (, talk)
Zuber, Johann	SATViz: Real-Time Visualization of Clausal Proofs (, talk)