Search results for "SMT"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Dominik Winterer, Chengyu Zhang 0001, Zhendong Su 0001	Validating SMT solvers via semantic fusion.	PLDI	2020	DBLP DOI BibTeX RDF
13	Maria Stasimioti, Vilelmini Sosoni, Katia Kermanidis, Despoina Mouratidis	Machine Translation Quality: A comparative evaluation of SMT, NMT and tailored-NMT outputs.	EAMT	2020	DBLP BibTeX RDF
13	Weiwei Jia 0001, Jianchen Shan, Tsz On Li, Xiaowei Shang, Heming Cui, Xiaoning Ding	vSMT-IO: Improving I/O Performance and Efficiency on SMT Processors in Virtualized Clouds.	USENIX Annual Technical Conference	2020	DBLP BibTeX RDF
13	Martin Jonás, Jan Strejcek	Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions.	SAT	2020	DBLP DOI BibTeX RDF
13	Chung-Kuan Cheng, Chia-Tung Ho, Daeyeal Lee, Dongwon Park	A Routability-Driven Complimentary-FET (CFET) Standard Cell Synthesis Framework using SMT.	ICCAD	2020	DBLP DOI BibTeX RDF
13	Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal	An SMT-Based Concolic Testing Tool for Logic Programs.	FLOPS	2020	DBLP DOI BibTeX RDF
13	João Carlos Pereira, Nuno Machado, Jorge Sousa Pinto	Testing for Race Conditions in Distributed Systems via SMT Solving.	TAP@STAF	2020	DBLP DOI BibTeX RDF
13	Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler	Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning.	IFM	2020	DBLP DOI BibTeX RDF
13	Paolo Felli, Alessandro Gianola, Marco Montali	A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems.	PRIMA	2020	DBLP DOI BibTeX RDF
13	Pavel Surynek	Continuous Multi-agent Path Finding via Satisfiability Modulo Theories (SMT).	ICAART (Revised Selected Papers)	2020	DBLP DOI BibTeX RDF
13	Daniele Ahmed, Andrea Peruffo, Alessandro Abate	Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.	TACAS (1)	2020	DBLP DOI BibTeX RDF
13	Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale	Effective Encodings of Constraint Programming Models to SMT.	CP	2020	DBLP DOI BibTeX RDF
13	Nikhil Pimpalkhare	Dynamic Algorithm Selection for SMT.	ASE	2020	DBLP DOI BibTeX RDF
13	Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina	Incremental Verification by SMT-based Summary Repair.	FMCAD	2020	DBLP DOI BibTeX RDF
13	Chengyu Zhang 0001	Stress testing SMT solvers via type-aware mutation.	ICSE (Companion Volume)	2020	DBLP DOI BibTeX RDF
13	Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer	SMT-based variability analyses in FeatureIDE.	VaMoS	2020	DBLP DOI BibTeX RDF
13	Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid	Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.	FORMATS	2020	DBLP DOI BibTeX RDF
13	Kaisheng Wu, Liangda Fang, Liping Xiong, Zhao-Rong Lai, Yong Qiao, Kaidong Chen, Fei Rong	Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers.	IJCAI	2020	DBLP DOI BibTeX RDF
13	André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto	Real-time MTL with durations as SMT with applications to schedulability analysis.	TASE	2020	DBLP DOI BibTeX RDF
13	Jan Niehues, Alex Waibel	Detailed Analysis of Different Strategies for Phrase Table Adaptation in SMT.	AMTA	2020	DBLP BibTeX RDF
13	Manny Rayner, Pierrette Bouillon, Barry Haddow	Using Source-Language Transformations to Address Register Mismatches in SMT.	AMTA	2020	DBLP BibTeX RDF
13	Satoshi Yamane, Kosuke Uemura	Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program.	GCCE	2020	DBLP DOI BibTeX RDF
13	Jim Whitehead	Spatial Layout of Procedural Dungeons Using Linear Constraints and SMT Solvers.	FDG	2020	DBLP DOI BibTeX RDF
13	Karine Even-Mendoza	Efficient SMT-based verification of software programs.		2020	RDF
13	Gil Shomron, Tal Horowitz, Uri C. Weiser	SMT-SA: Simultaneous Multithreading in Systolic Arrays.	IEEE Comput. Archit. Lett.	2019	DBLP DOI BibTeX RDF
13	Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio	Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers.	ACM Trans. Comput. Log.	2019	DBLP DOI BibTeX RDF
13	Miao Cai, Yonghu Liang, Minghui Yun, Xuan-You Chen, Haidong Yan, Zhaozhe Yu, Dao-Guo Yang, Guoqi Zhang	Effects of Thermal Reflowing Stress on Mechanical Properties of Novel SMT-SREKs.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Shujuan Jiang, Hongyang Wang, Yanmei Zhang, Meng Xue, Junyan Qian, Miao Zhang	An Approach for Detecting Infeasible Paths Based on a SMT Solver.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Sébastien Bardin, Nikolaj S. Bjørner, Cristian Cadar	Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062).	Dagstuhl Reports	2019	DBLP DOI BibTeX RDF
13	Yoshinao Isobe, Hisabumi Hatsugai, Akira Tanaka, Yutaka Oiwa, Takanori Ambe, Akimasa Okada, Satoru Kitamura, Yamato Fukuta, Takashi Kunifuji	Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2019	DBLP DOI BibTeX RDF
13	Joke Daems, Lieve Macken	Interactive adaptive SMT versus interactive adaptive NMT: a user experience evaluation.	Mach. Transl.	2019	DBLP DOI BibTeX RDF
13	Andrew Reynolds 0001, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett, Morgan Deters	Refutation-based synthesis in SMT.	Formal Methods Syst. Des.	2019	DBLP DOI BibTeX RDF
13	Paolo Morettin, Andrea Passerini, Roberto Sebastiani	Advanced SMT techniques for weighted model integration.	Artif. Intell.	2019	DBLP DOI BibTeX RDF
13	Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger	The SMT Competition 2015-2018.	J. Satisf. Boolean Model. Comput.	2019	DBLP DOI BibTeX RDF
13	Frank Imeson, Stephen L. Smith 0001	An SMT-Based Approach to Motion Planning for Multiple Robots With Complex Constraints.	IEEE Trans. Robotics	2019	DBLP DOI BibTeX RDF
13	Joseph Eremondi	Set Constraints, Pattern Match Analysis, and SMT.	CoRR	2019	DBLP BibTeX RDF
13	Atul Kr. Ojha	English-Bhojpuri SMT System: Insights from the Karaka Model.	CoRR	2019	DBLP BibTeX RDF
13	Da Shen, Yuliya Lierler	SMT-based Constraint Answer Set Solver EZSMT+.	CoRR	2019	DBLP BibTeX RDF
13	Yue Zhang, Ziyuan Zhu, Dan Meng	DDM: A Demand-based Dynamic Mitigation for SMT Transient Channels.	CoRR	2019	DBLP BibTeX RDF
13	Fadil Kallat, Tristan Schäfer, Anna Vasileva	CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories.	PxTP	2019	DBLP DOI BibTeX RDF
13	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin	Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN.	CoRR	2019	DBLP BibTeX RDF
13	Sagar Indurkhya	Automatic Inference of Minimalist Grammars using an SMT-Solver.	CoRR	2019	DBLP BibTeX RDF
13	Andrei Arusoaie, Ionut Pistol	Using SMT Solvers to Validate Models for AI Problems.	CoRR	2019	DBLP BibTeX RDF
13	Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Yoni Zohar, Clark W. Barrett, Cesare Tinelli	Towards Bit-Width-Independent Proofs in SMT Solvers.	CoRR	2019	DBLP BibTeX RDF
13	Pavel Surynek	Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT).	CoRR	2019	DBLP BibTeX RDF
13	Li Huang 0001, Eun-Young Kang 0001	SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems.	CoRR	2019	DBLP BibTeX RDF
13	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin	Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version).	CoRR	2019	DBLP BibTeX RDF
13	Mohammad Hekmatnejad, Georgios Fainekos	Model Checking Clinical Decision Support Systems Using SMT.	CoRR	2019	DBLP BibTeX RDF
13	Shuo Ren, Zhirui Zhang, Shujie Liu 0001, Ming Zhou 0001, Shuai Ma 0001	Unsupervised Neural Machine Translation with SMT as Posterior Regularization.	CoRR	2019	DBLP BibTeX RDF
13	Ali Abbassi, Nancy A. Day, Derek Rayside	Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB.	CoRR	2019	DBLP BibTeX RDF
13	Alberto Poncelas, Maja Popovic, Dimitar Sht. Shterionov, Gideon Maillette de Buy Wenniger, Andy Way	Combining SMT and NMT Back-Translated Data for Efficient NMT.	CoRR	2019	DBLP BibTeX RDF
13	Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001	Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving.	ACM Trans. Softw. Eng. Methodol.	2019	DBLP DOI BibTeX RDF
13	Kimia Zamiri Azar, Hadi Mardani Kamali, Houman Homayoun, Avesta Sasan	SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2019	DBLP DOI BibTeX RDF
13	Gabrielle Beck, Maximilian Zinkus, Matthew Green 0001	Using SMT Solvers to Automate Chosen Ciphertext Attacks.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
13	Barbara König 0001, Maxime Nederkorn, Dennis Nolte	CoReS: A tool for computing core graphs via SAT/SMT solvers.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
13	Kyungmin Bae, Camilo Rocha	Symbolic state space reduction with guarded terms for rewriting modulo SMT.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
13	Marwa Naveed Sheikh, Wei-Ming Lin	Dynamic capping of rename registers for SMT processors.	J. Syst. Archit.	2019	DBLP DOI BibTeX RDF
13	Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina	Lattice-based SMT for program verification.	MEMOCODE	2019	DBLP DOI BibTeX RDF
13	Andrew Reynolds 0001, Andres Nötzli, Clark W. Barrett, Cesare Tinelli	High-Level Abstractions for Simplifying Extended String Constraints in SMT.	CAV (2)	2019	DBLP DOI BibTeX RDF
13	Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer 0001	BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings.	CAV (1)	2019	DBLP DOI BibTeX RDF
13	Martin Jonás, Jan Strejcek	Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors.	CAV (2)	2019	DBLP DOI BibTeX RDF
13	Yueling Zhang, Geguang Pu, Min Zhang	SMTBCF: Efficient Backbone Computing for SMT Formulas.	ICFEM	2019	DBLP DOI BibTeX RDF
13	Thais Campos, Adam Pacheck, Guy Hoffman, Hadas Kress-Gazit	SMT-Based Control and Feedback for Social Navigation.	ICRA	2019	DBLP DOI BibTeX RDF
13	Pavel Surynek	Lazy Compilation of Variants of Multi-robot Path Planning with Satisfiability Modulo Theory (SMT) Approach.	IROS	2019	DBLP DOI BibTeX RDF
13	Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli	Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method.	ENASE	2019	DBLP DOI BibTeX RDF
13	Artemiy Margaritov, Siddharth Gupta 0003, Rekai González-Alberquilla, Boris Grot	Stretch: Balancing QoS and Throughput for Colocated Server Workloads on SMT Cores.	HPCA	2019	DBLP DOI BibTeX RDF
13	Caleb Donovick, Makai Mann, Clark W. Barrett, Pat Hanrahan	Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks.	ReConFig	2019	DBLP DOI BibTeX RDF
13	Joachim Bard, Heiko Becker, Eva Darulova	Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions.	FM	2019	DBLP DOI BibTeX RDF
13	Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek	Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT.	HSCC	2019	DBLP DOI BibTeX RDF
13	Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran	Programming Behavioral Test Models for SMT Solving in Scala.	ICST Workshops	2019	DBLP DOI BibTeX RDF
13	Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy	Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms.	ESOP	2019	DBLP DOI BibTeX RDF
13	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin	Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN.	BPM	2019	DBLP DOI BibTeX RDF
13	Mariam Gómez Sánchez, Alejandro Fernández Gil, Carlos Castro 0001	Integrating a SMT Solver based Local Search in Ant Colony Optimization for Solving RCMPSP.	LA-CCI	2019	DBLP DOI BibTeX RDF
13	Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier	Towards Synthesis of Distributed Algorithms with SMT Solvers.	NETYS	2019	DBLP DOI BibTeX RDF
13	Joseph Eremondi	Set Constraints, Pattern Match Analysis, and SMT.	TFP	2019	DBLP DOI BibTeX RDF
13	Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson	SMT Solvers for Flexible Job-Shop Scheduling Problems: A Computational Analysis.	CASE	2019	DBLP DOI BibTeX RDF
13	Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos	Task Scheduling with Nonlinear Costs using SMT Solvers.	CASE	2019	DBLP DOI BibTeX RDF
13	Shuo Ren, Zhirui Zhang, Shujie Liu 0001, Ming Zhou 0001, Shuai Ma 0001	Unsupervised Neural Machine Translation with SMT as Posterior Regularization.	AAAI	2019	DBLP DOI BibTeX RDF
13	Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny	SMT-Based Encoding of Argumentation Dialogue Games.	ICAISC (2)	2019	DBLP DOI BibTeX RDF
13	Xiyue Zhang, Meng Sun 0002	SMT-Based Modeling and Verification of Cloud Applications.	SERVICES	2019	DBLP DOI BibTeX RDF
13	Haniel Barbosa, Andrew Reynolds 0001, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett	Extending SMT Solvers to Higher-Order Logic.	CADE	2019	DBLP DOI BibTeX RDF
13	Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Yoni Zohar, Clark W. Barrett, Cesare Tinelli	Towards Bit-Width-Independent Proofs in SMT Solvers.	CADE	2019	DBLP DOI BibTeX RDF
13	Andres Nötzli, Andrew Reynolds 0001, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark W. Barrett, Cesare Tinelli	Syntax-Guided Rewrite Rule Enumeration for SMT Solvers.	SAT	2019	DBLP DOI BibTeX RDF
13	Camillo Fiorentini, Rajeev Goré, Stéphane Graham-Lengrand	A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic.	TABLEAUX	2019	DBLP DOI BibTeX RDF
13	Sebastian Krings, Michael Leuschel	Embedding SMT-LIB into B for Interactive Proof and Constraint Solving.	IFM	2019	DBLP DOI BibTeX RDF
13	Liudmyla Omelchuk, Olena Shyshatska	Extending the SMT-Lib Standard with Theory of Nominative Data.	ICTERI Workshops	2019	DBLP BibTeX RDF
13	Liudmyla Omelchuk, Olena Shyshatska	SMT-LIB Theory of Nominative Data.	ICTERI (Revised Selected Papers)	2019	DBLP DOI BibTeX RDF
13	Henrich Lauko, Vladimír Still, Petr Rockai, Jiri Barnat	Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution).	TACAS (3)	2019	DBLP DOI BibTeX RDF
13	Nils Becker, Peter Müller 0001, Alexander J. Summers	The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations.	TACAS (1)	2019	DBLP DOI BibTeX RDF
13	Qinhao Wang, Amir Masoud Gharehbaghi, Takeshi Matsumoto, Masahiro Fujita	High-Level Engineering Change Through Programmable Datapath and SMT Solvers.	ISCAS	2019	DBLP DOI BibTeX RDF
13	Weidong Lin 0001, Malcolm Y. H. Low	Concept and Implementation of a Cyber-Pbysical Digital Twin for a SMT Line.	IEEM	2019	DBLP DOI BibTeX RDF
13	Erik Brunvand	Extending Student Labs with SMT Circuit Implementation.	ACM Great Lakes Symposium on VLSI	2019	DBLP DOI BibTeX RDF
13	Yue Zhang, Ziyuan Zhu, Dan Meng	DDM: A Demand-Based Dynamic Mitigation for SMT Transient Channels.	ISPA/BDCloud/SocialCom/SustainCom	2019	DBLP DOI BibTeX RDF
13	Gergely Kovásznai, Krisztián Gajdár, Laura Kovács	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization.	SYNASC	2019	DBLP DOI BibTeX RDF
13	Rafael Dutra, Jonathan Bachrach, Koushik Sen	GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.	FMCAD	2019	DBLP DOI BibTeX RDF
13	Haniel Barbosa, Andrew Reynolds 0001, Daniel Larraz, Cesare Tinelli	Extending enumerative function synthesis via SMT-driven classification.	FMCAD	2019	DBLP DOI BibTeX RDF
13	Mark R. Greenstreet	Integrating SMT with Theorem Proving for Verification of Analog and Mixed-Signal Circuits (Invited Tutorial).	FMCAD	2019	DBLP DOI BibTeX RDF
13	Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer 0002, Denis A. Nicole	SMT-based refutation of spurious bug reports in the clang static analyzer.	ICSE (Companion Volume)	2019	DBLP DOI BibTeX RDF
13	Tarik Terzimehic, Monika Wenger, Sebastian Voss, Sten Grüner, Haitham Elfaham	SMT-Based Deployment Calculation in Industrial Automation Domain.	ETFA	2019	DBLP DOI BibTeX RDF
13	Anaïs Finzi, Silviu S. Craciunas	Integration of SMT-based Scheduling with RC Network Calculus Analysis in TTEthernet Networks.	ETFA	2019	DBLP DOI BibTeX RDF