Vol-1781⫷ Vol-1782 ⫸Vol-1783
urn:nbn:de:0074-1782-0


Vol-1782/paper_7⫷Vol-1782/paper_8⫸Vol-1782/paper_9

A Verified Decision Procedure for Pseudo-Boolean Formulas