Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Aws Albarghouthi
Symbolic Optimization With SMT Solvers
Related publications
Reasoning About Comprehensions With First-Order SMT Solvers
Extending DIVINE With Symbolic Verification Using SMT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Adding Decision Procedures to SMT Solvers Using Axioms With Triggers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Combining Symbolic Constraint Solvers on Algebraic Domains
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Basic Logic, SMT Solvers and Finitely Generated Varieties of GBL-algebras
Optimal Solvers for PDE-Constrained Optimization
SIAM Journal of Scientific Computing
Computational Mathematics
Applied Mathematics
Scalable Automated Symbolic Analysis of Administrative Role-Based Access Control Policies by SMT Solving1
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
SAT, SMT and Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multi-Dimensional Surrogate Based Aft Form Optimization of Ships Using High Fidelity Solvers
Brodogradnja
Ocean Engineering
Mechanical Engineering
