Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays

By Robert Brummayer, Armin Biere. International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2009

426 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/17146fa2b0030c7cfe59ddb7b7c8fa28e7dd1cb5

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. Brighten Godfrey
2. Matthew C. Caesar

In Software

1. Haohui Mai

Citations in the corpus

• Debugging the data plane with anteater (2011, methodology): “All SAT queries were resolved by Boolector 1.4.1 with PicoSAT 936 and PrecoSAT 570 [8].”