Found 5 Documents (Results 1–5)
Proving the incompatibility of efficiency and strategyproofness via SMT solving. (English) Zbl 1425.68385
MSC:
68T20
68T15
Cost-benefit and performance analysis of a stochastic model on printed circuit boards manufacturing process. (English) Zbl 1452.90160
Solving strong controllability of temporal problems with uncertainty using SMT. (English) Zbl 1314.90043
MSC:
90B36
Challenges in constraint-based analysis of hybrid systems. (English) Zbl 1248.68328
Oddi, Angelo (ed.) et al., Recent advances in constraints. 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Rome, Italy, June 18–20, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03250-9/pbk). Lecture Notes in Computer Science 5655. Lecture Notes in Artificial Intelligence, 51-65 (2009).
MSC:
68Q60
68T15
Filter Results by …
Document Type
- Journal Articles (4)
- Collection Articles (1)
all
top 5
Author
- Akian, Jean-Luc (1)
- Batra, Shefali (1)
- Bonnet, Laurent (1)
- Brandl, Florian (1)
- Brandt, Felix (1)
- Cimatti, Alessandro (1)
- Eberl, Manuel (1)
- Eggers, Andreas (1)
- Geist, Christian (1)
- Kalinnik, Natalia (1)
- Kumar, Rajeev (1)
- Kupferschmid, Stefan (1)
- Micheli, Andrea (1)
- Roveri, Marco (1)
- Savin, Eric (1)
- Teige, Tino (1)
Serial
- J. Comput. Phys. (1)
- Constraints (1)
- J. ACM (1)
- Int. J. Math. Oper. Res. (1)
all
top 3
Software
- MathSAT (2)
- MathSAT5 (2)
- SMT-LIB (2)
- ABsolver (1)
- Adam (1)
- BLAST (1)
- Chaff (1)
- FOCI (1)
- GPyTorch (1)
- HySAT (1)
- Isabelle/HOL (1)
- KernSmooth (1)
- OpenSMT (1)
- PDCO (1)
- PPL (1)
- PSATO (1)
- PaMira (1)
- PaSAT (1)
- PolyLib (1)
- PyTorch (1)
- SATO (1)
- SDS_Impossibility (1)
- SMT (1)
- SPGL1 (1)
- Spalart-Allmaras (1)
- Yices (1)
- elsA (1)