Meta data
- BibTeX key
- conf/kbse/JiaHMCLHMZ23
- entry type
- inproceedings
- booktitle
- ASE
- year
- 2023
- pages
- 1756-1760
- publisher
- IEEE
- crossref
- conf/kbse/2023
- ee
- https://doi.org/10.1109/ASE56229.2023.00183
- isbn
- 979-8-3503-2996-4
- url
- http://dblp.uni-trier.de/db/conf/kbse/ase2023.html#JiaHMCLHMZ23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kbse/JiaHMCLHMZ23
%A Jia, Fuqi
%A Han, Rui
%A Ma, Xutong
%A Cui, Baoquan
%A Liu, Minghao
%A Huang, Pei
%A Ma, Feifei
%A Zhang, Jian
%B ASE
%D 2023
%I IEEE
%K dblp
%P 1756-1760
%T PSMT: Satisfiability Modulo Theories Meets Probability Distribution.
%U http://dblp.uni-trier.de/db/conf/kbse/ase2023.html#JiaHMCLHMZ23
%@ 979-8-3503-2996-4
@inproceedings{conf/kbse/JiaHMCLHMZ23,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Jia, Fuqi and Han, Rui and Ma, Xutong and Cui, Baoquan and Liu, Minghao and Huang, Pei and Ma, Feifei and Zhang, Jian},
biburl = {https://www.bibsonomy.org/bibtex/28f298df343f50287e9a83162d29c1b85/dblp},
booktitle = {ASE},
crossref = {conf/kbse/2023},
ee = {https://doi.org/10.1109/ASE56229.2023.00183},
interhash = {6ce59d43d0aa302150b2a730688e9e52},
intrahash = {8f298df343f50287e9a83162d29c1b85},
isbn = {979-8-3503-2996-4},
keywords = {dblp},
pages = {1756-1760},
publisher = {IEEE},
timestamp = {2024-04-09T23:52:01.000+0200},
title = {PSMT: Satisfiability Modulo Theories Meets Probability Distribution.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2023.html#JiaHMCLHMZ23},
year = 2023
}