| 000 | 00818 a2200217 4500 | ||
|---|---|---|---|
| 005 | 20250517231637.0 | ||
| 008 | ####s 0 0 eng d | ||
| 022 | _a1573-0670 | ||
| 024 | 7 |
_a10.1007/s10817-018-9455-7 _2doi |
|
| 040 |
_aNLM _beng _cNLM |
||
| 100 | 1 | _aBlanchette, Jasmin Christian | |
| 245 | 0 | 0 |
_aA Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. _h[electronic resource] |
| 260 |
_bJournal of automated reasoning _c2018 |
||
| 300 |
_a333-365 p. _bdigital |
||
| 500 | _aPublication Type: Journal Article | ||
| 700 | 1 | _aFleury, Mathias | |
| 700 | 1 | _aLammich, Peter | |
| 700 | 1 | _aWeidenbach, Christoph | |
| 773 | 0 |
_tJournal of automated reasoning _gvol. 61 _gno. 1 _gp. 333-365 |
|
| 856 | 4 | 0 |
_uhttps://doi.org/10.1007/s10817-018-9455-7 _zAvailable from publisher's website |
| 999 |
_c28692061 _d28692061 |
||