Skip to content
parity_journal
default avatar
stephan@gobro.de
03295742 · Remove resolve from polish notation. · 
Version used for the data in the journal version of Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs