|
|
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 | Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier |
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. |
CILC |
2021 |
DBLP BibTeX RDF |
|
13 | Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001 |
Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh |
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. |
FM |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Kenta Sugai, Hiroshi Hosobe, Shaoying Liu |
SMT-Based Theorem Verification for Testing-Based Formal Verification. |
ICSCA |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker 0001, Tino Teige |
Benchmarking SMT Solvers on Automotive Code. |
MBMV |
2021 |
DBLP BibTeX RDF |
|
13 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. |
BPM |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sabino Francesco Roselli, Martin Fabian, Knut Åkesson |
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. |
CASE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jiwon Park |
SMT solver testing with type and grammar based mutation. |
ESEC/SIGSOFT FSE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang 0001 |
Skeletal approximation enumeration for SMT solver testing. |
ESEC/SIGSOFT FSE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Felli, Alessandro Gianola, Marco Montali |
SMT-based Safety Checking of Parameterized Multi-Agent Systems. |
AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Mohamad H. Danesh |
Reducing Neural Network Parameter Initialization Into an SMT Problem (Student Abstract). |
AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. |
CADE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Joshua Schmidt, Michael Leuschel |
Improving SMT Solver Integrations for the Validation of B and Event-B Models. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Bruttomesso |
Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker. |
FMICS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Dongpeng Xu 0001, Binbin Liu, Weijie Feng, Jiang Ming 0002, Qilong Zheng, Jing Li 0047, Qiaoyan Yu |
Boosting SMT solver performance on mixed-bitwise-arithmetic expressions. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Erika Ábrahám, James H. Davenport, Matthew England 0001, Gereon Kremer |
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. |
ARCADE@CADE |
2021 |
DBLP BibTeX RDF |
|
13 | Sabino Francesco Roselli, Martin Fabian, Knut Åkesson |
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. |
MED |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin |
A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application. |
ISIE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia |
MedleySolver: Online SMT Algorithm Selection. |
SAT |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Takumi Shimoda, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001 |
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang 0001 |
Fuzzing SMT solvers via two-dimensional input space exploration. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh |
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. |
TACAS (2) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Malte Mues, Falk Howar |
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). |
TACAS (2) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Guy Amir, Haoze Wu 0001, Clark W. Barrett, Guy Katz |
An SMT-Based Approach for Verifying Binarized Neural Networks. |
TACAS (2) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jan Hula, David Mojzísek, Mikolás Janota |
Graph Neural Networks for Scheduling of SMT Solvers. |
ICTAI |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Pointner, Sven Wenzek, Robert Wille |
SMT-Based Placement for System-on-Chip Design. |
ISCAS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Elena Voita, Rico Sennrich, Ivan Titov |
Language Modeling, Lexical Translation, Reordering: The Training Process of NMT through the Lens of Classical SMT. |
EMNLP (1) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Agustín Navarro-Torres, Jesús Alastruey-Benedé, Pablo Ibáñez-Marín, Maria Carpen-Amarie |
Synchronization Strategies on Many-Core SMT Systems. |
SBAC-PAD |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti |
SMT-Based Model Checking of Max-Plus Linear Systems. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Michal Kanski, Artur Niewiadomski 0001, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek |
SMT-Based Unbounded Model Checking for ATL. |
VECoS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jia Lee, Geunyeol Yu, Kyungmin Bae |
Efficient SMT-Based Model Checking for Signal Temporal Logic. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Malte Mues, Falk Howar |
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina |
Lookahead in Partitioning SMT. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali |
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). |
Description Logics |
2021 |
DBLP BibTeX RDF |
|
13 | Pascal Fontaine, Hans-Jörg Schurr |
Quantifier Simplification by Unification in SMT. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Zhilei Ren, Xiaofei Fan, Xiaochen Li, Zhide Zhou, He Jiang 0001 |
Multi-objective Evolutionary Algorithm for String SMT Solver Testing. |
DSA |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina |
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. |
DAC |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Andrew Wright |
Modular SMT-Based Verification of Rule-Based Hardware Designs. |
|
2021 |
RDF |
|
13 | Andres Nöetzli |
Towards better simplifications in SMT solvers with applications in string solving. |
|
2021 |
RDF |
|
13 | Dominik Winterer, Chengyu Zhang 0001, Zhendong Su 0001 |
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
Formulog: Datalog for SMT-based static analysis. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar |
Inter-theory dependency analysis for SMT string solvers. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mojtaba Zaheri, Babak Sadeghiyan |
SMT-based cube attack on round-reduced Simeck32/64. |
IET Inf. Secur. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Qiang Liu, Zhifeng Lian, Yu Guo |
Empirical analysis of organizational quality defect management enabling factors identification based on SMT, interval-valued hesitant fuzzy set ELECTRE and QRA methods. |
J. Intell. Fuzzy Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Harish Kumar Sahu, N. Rajesh Pillai, Indivar Gupta, Rajendra Kumar Sharma |
SMT Solver-Based Cryptanalysis of Block Ciphers. |
SN Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Tetsuo Miyauchi, Kiyofumi Tanaka |
Solving Slitherlink with FPGA and SMT Solver. |
J. Inf. Process. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen |
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT. |
J. Inf. Process. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
SMT-based verification of data-aware processes: a model-theoretic approach. |
Math. Struct. Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro 0001 |
Improving complex SMT strategies with learning. |
Int. Trans. Oper. Res. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Xin Jin, Ningmei Yu, Yaoyang Zhou, Bowen Huang, Zihao Yu, Xusheng Zhan, Huizhe Wang, Sa Wang, Yungang Bao |
Supporting Predictable Performance Guarantees for SMT Processors. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang 0002 |
SMT-based generation of symbolic automata. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Josué Feliu, Julio Sahuquillo, Salvador Petit, Lieven Eeckhout |
Thread Isolation to Improve Symbiotic Scheduling on SMT Multicore Processors. |
IEEE Trans. Parallel Distributed Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Samuel Teuber, Marko Kleine Büning, Carsten Sinz |
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Christoph Lüders |
Computing Tropical Prevarieties with Satisfiability Modulo Theory (SMT) Solvers. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury |
Fairness-guided SMT-based Rectification of Decision Trees and Random Forests. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Gidon Ernst |
Cuvée: Blending SMT-LIB with Programs and Weakest Preconditions. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache |
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Vaishak Belle |
SMT + ILP. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Guy Amir, Haoze Wu 0001, Clark W. Barrett, Guy Katz |
An SMT-Based Approach for Verifying Binarized Neural Networks. |
CoRR |
2020 |
DBLP 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. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher |
An efficient constraint based framework forhandling floating point SMT problems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Daniele Ahmed, Andrea Peruffo, Alessandro Abate |
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Paolo Felli, Alessandro Gianola, Marco Montali |
SMT-based Safety Verification of Parameterised Multi-Agent Systems. |
CoRR |
2020 |
DBLP 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. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Cristina Borralleras, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio |
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Dominik Winterer, Chengyu Zhang 0001, Zhendong Su 0001 |
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Mohamad H. Danesh |
Reducing Neural Network Parameter Initialization Into an SMT Problem. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang |
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Ákos Hajdu, Dejan Jovanovic |
SMT-Friendly Formalization of the Solidity Memory Model. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Aina Niemetz, Mathias Preiner |
Bitwuzla at the SMT-COMP 2020. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Jarrett Holtz, Arjun Guha, Joydeep Biswas |
SMT-based Robot Transition Repair. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
Formulog: Datalog for SMT-Based Static Analysis (Extended Version). |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh |
A Length-aware Regular Expression SMT Solver. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Sarab Kamal, Basma Nazar |
Performance evaluation of combining SMT-ETX metric with POS scheme for implementing multilayer multicast mobile ad hoc network (MANET) CRN. |
IET Commun. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Genggeng Liu, Zhisheng Chen, Zhen Zhuang, Wenzhong Guo, Guolong Chen |
A unified algorithm based on HTS and self-adapting PSO for the construction of octagonal and rectilinear SMT. |
Soft Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Alex Ozdemir, Fraser Brown, Riad S. Wahby |
Unifying Compilers for SNARKs, SMT, and More. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
13 | Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret |
SMT encodings for Resource-Constrained Project Scheduling Problems. |
Comput. Ind. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta |
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. |
Inf. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Lydia Wahid Rizkallah, Mona F. Ahmed, Nevin M. Darwish |
SMT-LH: A New Satisfiability Modulo Theory-Based Technique for Solving Vehicle Routing Problem with Time Window Constraints. |
Comput. J. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache |
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress). |
NCA |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Joseph Scott, Federico Mora, Vijay Ganesh |
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. |
VSTTE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hao Wu 0017, Joseph Timoney |
Verifying OCL Operational Contracts via SMT-based Synthesising. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett |
Synthesis of Super-Optimized Smart Contracts Using Max-SMT. |
CAV (1) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko 0001 |
Using an SMT Solver for Checking the Completeness of FSM-Based Tests. |
ICTSS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Pavel Surynek |
Bounded Sub-optimal Multi-Robot Path Planning Using Satisfiability Modulo Theory (SMT) Approach. |
IROS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | José A. Riaza, Ginés Moreno |
Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs. |
FUZZ-IEEE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Gaurav Bhandari, Rajeev Shorey, Rajesh Sundaresan, Prakash Hiremath M., Ashish Joglekar, Anupama Kulkarni, Devadatta M. Kulkarni, C. Mahadeva, Sampad B. Mohanty, D. Raghunath, M. B. Raju |
An Implementation of an Industrial Internet of Things on an SMT Assembly Line. |
COMSNETS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Juliana Küster Filipe Bowles, Marco B. Caminati |
A Formally Verified SMT Approach to True Concurrency. |
CILC |
2020 |
DBLP BibTeX RDF |
|
13 | Manish Goyal 0002, David Bergman, Parasara Sridhar Duggirala |
Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT. |
ACC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | MirSaleh Bahavarnia, Yasser Shoukry, Nuno C. Martins |
Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach. |
ACC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Suresh Purini, Vinamra Benara, Ziaul Choudhury, Uday Bondhugula |
Bitwidth customization in image processing pipelines using interval analysis and SMT solvers. |
CC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ákos Hajdu, Dejan Jovanovic |
SMT-Friendly Formalization of the Solidity Memory Model. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mohamed Nadjib Mami, Irlán Grangel-González, Damien Graux, Enkeleda Elezi, Felix Lösch |
Semantic Data Integration for the SMT Manufacturing Process Using SANSA Stack. |
ESWC (Satellite Events) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hiroyuki Okamura, Kazuya Morihara, Tadashi Dohi |
An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets. |
VALUETOOLS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hiroshi Hosobe |
Solving Hierarchical Soft Constraints with an SMT Solver. |
ICCAE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Shin Hong |
Using SMT Solver and Logic Puzzles for Teaching Computational Logics in Discrete Mathematics Class. |
SIGCSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang |
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ionela Georgiana Mocanu, Vaishak Belle, Brendan Juba |
Polynomial-Time Implicit Learnability in SMT. |
ECAI |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric |
An SMT Theory of Fixed-Point Arithmetic. |
IJCAR (1) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Christoph Lüders |
Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) Solvers. |
PAAR+SC²@IJCAR |
2020 |
DBLP BibTeX RDF |
|
|
|