Record: found
Abstract: not found
Book: not found

Z3: An efficient SMT solver

Author(s): De Moura, de PG Moura, De Moura, L. De Moura, L. DE MOURA, N Bjørner, De Moura, LM de Moura

Publication date: 2008

Read this book at

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Data availability:

Comments

Comment on this book

Similar content 1,787

Self-interacting scalar dark matter with local \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text{Z}_{{3}}$$\end{document}Z3 symmetry
Authors: P Ko, Y. TANG
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Z}}_{3}$$\end{document}Z3 WIMP and SIMP dark matter from a global \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$U(1)$$\end{document}U(1) breaking
Authors: N BERNAL, C Garcia-Cely, R Rosenfeld
CLASSIFICATION OF SYMMETRY BREAKING PATTERNS IN HETEROTIC STRINGS ON Z3 ORBIFOLD
Authors: AKIRA FUJITSU, TETSURO KITAZOE, MASAYOSHI TABUSE …

See all similar

Cited by 8

Reinforcement learning for combinatorial optimization: A survey
Authors: Nina Mazyavkina, Sergey Sviridov, Sergei Ivanov …
A comprehensive survey of regulatory network inference methods using single cell RNA sequencing data
Authors: Hung H Nguyen, Duc Tran, Bang Tran …
Hammer for Coq: Automation for Dependent Type Theory
Authors: Łukasz Czajka, Cezary Kaliszyk

See all cited by

Z3: An efficient SMT solver

Read this book at

ScienceOpen Research

Comment on this book