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/sat/MengelW19.rdf
Stefan Mengel and Romain Wallon: Revisiting Graph Width Measures for CNF-Encodings. (2019) conf/sat/MengelW19 10.1007/978-3-030-24258-9_16 Revisiting Graph Width Measures for CNF-Encodings. 2 Stefan Mengel 1 Romain Wallon 2 222-238 SAT SAT 2019 2019 provenance information for RDF data of dblp record 'conf/sat/MengelW19' 2020-10-25T23:07:23+0100