iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/ijcar/Lammich24.xml
Peter Lammich Fast and Verified UNSAT Certificate Checking. 439-457 2024 IJCAR (1) https://doi.org/10.1007/978-3-031-63498-7_26 conf/ijcar/2024-1 db/conf/ijcar/ijcar2024-1.html#Lammich24 streams/conf/ijcar