Yices 2.2

By Bruno Dutertre. International Conference on Computer Aided Verification, 2014

535 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/c854a5fc3d13549d31006033902948902b058665

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Alexey Ignatiev
2. Joao Marques-Silva
3. Nina Narodytska
4. Clark W. Barrett
5. Cesare Tinelli
6. Andrew Reynolds
7. Aina Niemetz
8. Mathias Preiner

In Computer Networks and Communications

1. Clark W. Barrett
2. Andrew Reynolds
3. Alexey Ignatiev
4. Joao Marques-Silva
5. Nina Narodytska
6. Cesare Tinelli
7. Tim King
8. Matti Järvisalo

In Hardware and Architecture

1. Alexey Ignatiev
2. Joao Marques-Silva
3. Clark W. Barrett
4. Nina Narodytska

Citations in the corpus

• Leveraging linear and mixed integer programming for SMT (2014, unknown): “2.0) [22].”
• Abduction-Based Explanations for Machine Learning Models (2018, methodology): “SMT solvers are accessed through the PySMT framework (Gario and Micheli 2015), which provides a unified interface to SMT solvers like CVC4, Math-SAT5, Yices2, and Z3 among a few others.”
• cvc5: A Versatile and Industrial-Strength SMT Solver (2022, background): “Notable SMT solvers include Bitwuzla [92], Boolector [98], CVC4 [21], MathSAT [46], OpenSMT2 [72], SMTInterpol [44], SMT-RAT [50], STP [61], veriT [35], Yices2 [55], and Z3 [90].”