Commit 9f02429d authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: IDS keys for quasi-optimal dpor


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 81934ccf
......@@ -3007,7 +3007,8 @@
volume = {10982},
pages = {354--371},
publisher = {Springer},
doi = {10.1007/978-3-319-96142-2\_22}
doi = {10.1007/978-3-319-96142-2\_22},
ids = {quasi-optimal,quasi-dpor}
}
@InProceedings{ norris2013:cdschecker,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment