|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 542 occurrences of 335 keywords
|
|
|
|
|
Results
Found 2210 publication records. Showing 2209 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 13 | Divyam Pahuja, Alvin Tang, Klim Tsoutsman |
Automated SELinux RBAC Policy Verification Using SMT.  |
CoRR  |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani |
Enhancing SMT-based Weighted Model Integration by Structure Awareness. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Thomas Hader, Daniela Kaufmann, Laura Kovács |
SMT Solving over Finite Field Arithmetic. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Raúl López-Rueda, Santiago Escobar 0001, Julia Sapiña |
An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Marta Navarro, Josué Feliu, Salvador Petit, María Engracia Gómez, Julio Sahuquillo |
SYNPA: SMT Performance Analysis and Allocation of Threads to Cores in ARM Processors. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Ali Kemal Uncu, James H. Davenport, Matthew England 0001 |
SMT-Solving Induction Proofs of Inequalities. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Samuel Judson, Matthew Elacqua, Filip Cano Córdoba, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac |
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Shang-Wei Lin 0001, Si-Han Chen, Tzu-Fan Wang, Yean-Ru Chen |
A Quantum SMT Solver for Bit-Vector Theory. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Amalee Wilson, Andres Nötzli, Andrew Reynolds 0001, Byron Cook, Cesare Tinelli, Clark W. Barrett |
Partitioning Strategies for Distributed SMT Solving. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Runtian Zhou, Haoze Wu 0001, Hammurabi Mendes, Jonad Pulaj |
Verifying MILP Certificates with SMT Solvers. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Paul Saves, Rémi Lafage, Nathalie Bartoli, Youssef Diouane, Jasper H. Bussemaker, Thierry Lefebvre, John T. Hwang, Joseph Morlier, Joaquim R. R. A. Martins |
SMT 2.0: A Surrogate Modeling Toolbox with a focus on Hierarchical and Mixed Variables Gaussian Processes. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Milad Ramezankhani, Abbas S. Milani |
A Sequential Meta-Transfer (SMT) Learning to Combat Complexities of Physics-Informed Neural Networks: Application to Composites Autoclave Processing. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang 0002 |
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Aljosha Köcher, Luis Miguel Vieira da Silva, Alexander Fay |
Automated Process Planning Based on a Semantic Capability Model and SMT. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. |
Eng. Appl. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo |
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
| 13 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
Data-aware conformance checking with SMT. |
Inf. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Raúl López-Rueda, Santiago Escobar 0001, Julia Sapiña |
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. |
J. Log. Algebraic Methods Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Yuliya Lierler |
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. |
Theory Pract. Log. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001 |
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version). |
Formal Aspects Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Yufeng Wang, Zhihua Zhu |
Research of SMT Mounter Z-axis Integral Terminal Sliding Mode Tracking Control. |
CIPAE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis |
SMT-Based Stability Verification of an Industrial Switched PI Control Systems. |
DSN-W |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Morteza Rezaalipour, Lorenzo Ferretti, Ilaria Scarabottolo, George A. Constantinides, Laura Pozzi |
Multi-Metric SMT-Based Evaluation of Worst-Case-Error for Approximate Circuits. |
DSN-W |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Thomas Hader, Daniela Kaufmann, Laura Kovács |
SMT Solving over Finite Field Arithmetic. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Haniel Barbosa, Chantal Keller, Andrew Reynolds 0001, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett |
An Interactive SMT Tactic in Coq using Abductive Reasoning. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk |
Experiments on Infinite Model Finding in SMT Solving. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Alberto Griggio, Martin Jonás |
Kratos2: An SMT-Based Model Checker for Imperative Programs. |
CAV (3) |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Haniel Barbosa |
Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper). |
SC-Square@ISSAC |
2023 |
DBLP BibTeX RDF |
|
| 13 | Dario Guidotti, Laura Pandolfo, Luca Pulina |
Verifying Neural Networks with SMT: An Experimental Evaluation. |
e-Science |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming |
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Andrea Bombarda, Angelo Gargantini, Andrea Calvagna |
Multi-thread Combinatorial Test Generation with SMT solvers. |
SAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Santiago Escobar 0001, Raúl López-Rueda, Julia Sapiña |
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. |
FTSCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky |
SMT Sampling via Model-Guided Approximation. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury |
Efficient SMT-Based Network Fault Tolerance Verification. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Kyohei Seino, Shigeru Yamashita |
An SMT-Solver-Based Synthesis of NNA-Compliant Quantum Circuits Consisting of CNOT, H and T Gates. |
ASP-DAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Sagar Indurkhya |
A Procedure for Inferring a Minimalist Lexicon from an SMT Model of a Language Acquisition Device. |
ICGI |
2023 |
DBLP BibTeX RDF |
|
| 13 | Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo |
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications. |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
Strategies in Conditional Narrowing Modulo SMT Plus Axioms. |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Grigory Devadze, Lukas Munser, Stefan Streif |
Extraction of a computer-certified SMT solver for nonlinear theories. |
ECC |
2023 |
DBLP BibTeX RDF |
|
| 13 | Martin von Berg, Arthur Sanin, Christoph Beierle |
Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem. |
ECSQARU |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Vladislav Dubrovenski, Erzhuo Chen, Dianxiang Xu |
SMT-Based Verification of NGAC Policies. |
COMPSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull |
Verified Verifying: SMT-LIB for Strings in Isabelle. |
CIAA |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Benjamin Mikek, Qirun Zhang |
Speeding up SMT Solving via Compiler Optimization. |
ESEC/SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali |
SMT Safety Verification of Ontology-Based Processes. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | René Heesch, Jonas Ehrhardt, Oliver Niggemann |
Integrating Machine Learning into an SMT-Based Planning Approach for Production Planning in Cyber-Physical Production Systems. |
ECAI Workshops (2) |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Magdalena Kacprzak, Artur Niewiadomski 0001, Wojciech Penczek, Andrzej Zbrzezny |
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic. |
ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Nikolaj S. Bjørner, Katalin Fazekas |
On Incremental Pre-processing for SMT. |
CADE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Gerald Whitters, Vivek Nigam, Carolyn L. Talcott |
Incremental Rewriting Modulo SMT. |
CADE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler |
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT. |
CADE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Rosalie Defourné |
Encoding rmTLA+ Proof Obligations Safely for SMT. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Vivek Parmar, Sandeep Kaur Kingra, Deepak Verma, Digamber Pandey, Giuseppe Piccolboni, Alessandro Bricalli, Amir Regev, Gabriel Pares, Laurent Grenouillet, Jean-François Nodin, Manan Suri |
Demonstration of SMT-reflow Immune and SCA-resilient PUF on 28nm RRAM device array. |
IMW |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Erika Ábrahám, József Kovács, Anne Remke |
SMT: Something You Must Try. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Shiwen Yu, Ting Wang 0009, Ji Wang 0001 |
Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang 0002 |
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. |
TACAS (1) |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Bruno Andreotti, Hanna Lachnitt, Haniel Barbosa |
Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format. |
TACAS (1) |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Dario Guidotti, Laura Pandolfo, Luca Pulina |
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. |
ICTAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Xinpeng Ni, Yulun Wu, Bican Xia |
Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi 0001 |
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. |
CPP |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Jasper Nalbach, Erika Ábrahám |
Subtropical Satisfiability for SMT Solving. |
NFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Minghao Liu 0001, Kunhang Lv, Pei Huang 0002, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang 0001 |
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Maolin Sun, Yibiao Yang, Yang Wang, Ming Wen 0001, Haoxiang Jia, Yuming Zhou |
SMT Solver Validation Empowered by Large Pre-Trained Language Models. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Shaowei Cai 0001 |
Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Bohan Li 0002, Shaowei Cai 0001 |
Local Search For SMT On Linear and Multi-linear Real Arithmetic. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Amalee Wilson, Andres Nötzli, Andrew Reynolds 0001, Byron Cook, Cesare Tinelli, Clark W. Barrett |
Partitioning Strategies for Distributed SMT Solving. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Maria Paola Bonacina |
Reasoning about Quantifiers in SMT: The QSMA algorithm. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Yi Zhou 0025, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno |
Mariposa: Measuring SMT Instability in Automated Program Verification. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell 0001, Massimiliano Culpo, Todd Gamblin |
Flexible and Optimal Dependency Management via Max-SMT. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Jongwook Kim, Sunbeom So, Hakjoo Oh |
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Will Leeson, Matthew B. Dwyer, Antonio Filieri |
Sibyl: Improving Software Engineering Tools with SMT Selection. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Maolin Sun, Yibiao Yang, Ming Wen 0001, Yongcong Wang, Yuming Zhou, Hai Jin 0001 |
Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs. |
ICSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Tarik Terzimehic, Eddie Groh, Alois Zoitl |
Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic. |
ETFA |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Emanuele Bellini 0002, Alessandro De Piccoli, Mattia Formenti, David Gérault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti |
Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives. |
CANS |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Mee Chun Loo, Rajasvaran Logeswaran, Zailan Arabee bin Abdul Salam |
CNN Aided Surface Inspection for SMT Manufacturing. |
DeSE |
2023 |
DBLP DOI BibTeX RDF |
|
| 13 | Sujit Kumar Muduli, Subhajit Roy 0001 |
Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Zhihang Sun, Hongyu Fan, Fei He 0001 |
Consistency-preserving propagation for SMT solving of concurrent program verification. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio |
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | AmirHosein Sadeghimanesh, Matthew England 0001 |
An SMT solver for non-linear real arithmetic inside maple. |
ACM Commun. Comput. Algebra |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina |
SMT-based verification of program changes through summary repair. |
Formal Methods Syst. Des. |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Xiaozhe Shao, Zibin Chen, Daniel E. Holcomb, Lixin Gao 0001 |
Accelerating BGP Configuration Verification Through Reducing Cycles in SMT Constraints. |
IEEE/ACM Trans. Netw. |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate |
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems. |
IEEE Trans. Autom. Control. |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Abir Masmoudi 0001, Chafik Aloulou, Abdel Ghader Sidi Abdellahi, Lamia Hadrich Belguith |
Automatic diacritization of Tunisian dialect text using SMT model. |
Int. J. Speech Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Daeyeal Lee, Bill Lin 0001, Chung-Kuan Cheng |
SMT-Based Contention-Free Task Mapping and Scheduling on 2D/3D SMART NoC with Mixed Dimension-Order Routing. |
ACM Trans. Archit. Code Optim. |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Joshua Schmidt, Michael Leuschel |
SMT solving for the validation of B and Event-B models. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Ying Sheng 0007, Andres Nötzli, Andrew Reynolds 0001, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli |
Reasoning About Vectors using an SMT Theory of Sequences. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky |
SMT Sampling via Model-Guided Approximation. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
SMT-Based Model Checking of Industrial Simulink Models. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
Conformance Checking with Uncertainty via SMT (Extended Version). |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Noah Shutty, Christopher Chamberland |
Finding fault-tolerant Clifford circuits using SMT solvers. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
| 13 | Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis |
On Neural Network Equivalence Checking using SMT Solvers. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Qizhi Pei, Lijun Wu, Jinhua Zhu, Yingce Xia, Shufang Xie 0003, Tao Qin 0001, Haiguang Liu, Tie-Yan Liu |
SMT-DTA: Improving Drug-Target Affinity Prediction with Semi-supervised Multi-task Training. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani |
SMT-based Weighted Model Integration with Structure Awareness. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Hsien-Pin Hsu |
Solving the feeder assignment, component sequencing, and nozzle assignment problems for a multi-head gantry SMT machine using improved firefly algorithm and dynamic programming. |
Adv. Eng. Informatics |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Rusydi H. Makarim, Raghvendra Rohit 0001 |
Towards Tight Differential Bounds of Ascon A Hybrid Usage of SMT and MILP. |
IACR Trans. Symmetric Cryptol. |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Tanja Schindler |
SMT-Solving, Interpolation und Quantoren. |
Ausgezeichnete Informatikdissertationen |
2022 |
DBLP BibTeX RDF |
|
| 13 | Iason Marmanis, Viktor Vafeiadis |
SMT-Based Verification of Persistency Invariants of Px86 Programs. |
VSTTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Neha Rungta |
A Billion SMT Queries a Day (Invited Paper). |
CAV (1) |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Shaowei Cai 0001, Bohan Li 0002, Xindi Zhang |
Local Search for SMT on Linear Integer Arithmetic. |
CAV (2) |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Aina Niemetz, Mathias Preiner, Clark W. Barrett |
Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers. |
CAV (2) |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Geunyeol Yu, Jia Lee, Kyungmin Bae |
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT. |
CAV (1) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 2209 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license