Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Ramamohan Paturi, Pavel Pudlák, Francis Zane |
Satisfiability Coding Lemma. |
FOCS |
1997 |
DBLP DOI BibTeX RDF |
satisfying assignments, satisfying assignment, Satisfiability Coding Lemma, computability, randomized algorithm, satisfiability, deterministic algorithm, conjunctive normal form, Boolean formulae |
60 | Adam J. Lee, Marianne Winslett |
Towards an efficient and language-agnostic compliance checker for trust negotiation systems. |
AsiaCCS |
2008 |
DBLP DOI BibTeX RDF |
compliance checker, satisfying sets, policy, trust negotiation |
41 | HoonSang Jin, Fabio Somenzi |
Prime clauses for fast enumeration of satisfying assignments to boolean circuits. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
AllSAT, minimal satisfying assignment, SAT, CNF |
41 | Christos H. Papadimitriou |
On Selecting a Satisfying Truth Assignment (Extended Abstract) |
FOCS |
1991 |
DBLP DOI BibTeX RDF |
2SAT, satisfying truth assignment selection, natural generalizations, default preference, polynomial-time randomized algorithm, complexity, satisfiability, minimality, circumscription, selection criteria |
41 | Svetlana P. Kartashev, Steven I. Kartashev |
On Modular Networks Satisfying the Shift-Register Rule. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
modular network, Augnentation of original program, interconnections satisfying shift-register rule, modular decomposition of programs, computer-aided design |
34 | Mamoru Kutami |
Von Neumann Regular Rings Satisfying Weak Comparability. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 16E50, 16D70 |
34 | HoonSang Jin, HyoJung Han, Fabio Somenzi |
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Kishan Chand Gupta, Palash Sarkar 0001 |
Construction of Perfect Nonlinear and Maximally Nonlinear Multi-output Boolean Functions Satisfying Higher Order Strict Avalanche Criteria (Extended Abstract). |
INDOCRYPT |
2003 |
DBLP DOI BibTeX RDF |
bilinear form, symplectic matrix, nonlinearity, S-box, bent function, symmetric ciphers, SAC |
34 | Jie Tang 0001, Juan-Zi Li, Kehong Wang, Yue-Ru Cai |
Research of Satisfying Atomic and Anonymous Electronic Commerce Protocol. |
GCC (2) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Hui Yu, Hailiang Liu |
THIRD ORDER MAXIMUM-PRINCIPLE-SATISFYING DG SCHEMES Third Order Maximum-Principle-Satisfying DG schemes for Convection-Diffusion problems with Anisotropic Diffusivity DIFFUSIVITY. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
29 | Jan Rauch |
Four-Fold Table Calculi for Discovery Science. |
Discovery Science |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Jing He 0004, Yanchun Zhang, Yong Shi 0001, Guangyan Huang |
Domain-Driven Classification Based on Multiple Criteria and Multiple Constraint-Level Programming for Intelligent Credit Scoring. |
IEEE Trans. Knowl. Data Eng. |
2010 |
DBLP DOI BibTeX RDF |
domain-driven classification, multiple criteria and multiple constraint-level programming, satisfying solution, mathematical programming, Credit scoring, fuzzy programming |
26 | Daniel Gross, Eric S. K. Yu |
From Non-Functional Requirements to Design through Patterns. |
Requir. Eng. |
2001 |
DBLP DOI BibTeX RDF |
Architectural properties, Softgoal, Design patterns, Requirements, Satisfying, Non-functional requirements, Quality attributes, Quality requirements, Process-oriented, Rationale |
25 | Meikang Qiu, Edwin Hsing-Mean Sha |
Cost minimization while satisfying hard/soft timing constraints for heterogeneous embedded systems. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Embedded Systems, real-time, high-level synthesis, heterogeneous |
25 | Jeff B. Paris, Alena Vencovská |
A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
Polyadic Inductive Logic, Spectrum Exchangeability, Language Invariance |
25 | Shaoyuan Li, Chaofang Hu |
An Interactive Satisfying Method Based on Alternative Tolerance for Multiple Objective Optimization With Fuzzy Parameters. |
IEEE Trans. Fuzzy Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Matthew Andrews, Lisa Zhang |
Satisfying Arbitrary Delay Requirements in Multihop Networks. |
INFOCOM |
2008 |
DBLP DOI BibTeX RDF |
|
25 | R. Alex |
Fuzzy synthetic rating and a satisfying solution for Lee-Tanaka's LP problem. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Meikang Qiu, Zhiping Jia, Chun Xue, Zili Shao, Edwin Hsing-Mean Sha |
Voltage Assignment with Guaranteed Probability Satisfying Timing Constraint for Real-time Multiproceesor DSP. |
J. VLSI Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
real-time, probability, DSP, DVS, assignment |
25 | Andrés Farías, Mario Südholt |
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Kazuo Iwama, Suguru Tamaki |
Exploiting Partial Knowledge of Satisfying Assignments. |
WAE |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Kwangjo Kim, Tsutomu Matsumoto, Hideki Imai |
A Recursive Construction Method of S-boxes Satisfying Strict Avalanche Criterion. |
CRYPTO |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Gregory Piatetsky-Shapiro, Charles Connell |
Accurate Estimation of the Number of Tuples Satisfying a Condition. |
SIGMOD Conference |
1984 |
DBLP DOI BibTeX RDF |
|
20 | Jesús M. Carnicer, Carmen Godés |
Classification of sets satisfying the geometric characterization. |
Numer. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 41A05, 65D05, 41A63 |
20 | Di Wu 0019, Predrag Spasojevic |
Complementary Set Matrices Satisfying a Column Correlation Constraint. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Zhou Xin-lian, Gong Bo |
Intra-cluster Nodes Scheduling Algorithm Satisfying Expected Coverage Degree of Application in Distributed Clustering WSNs. |
CSSE (3) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Takayuki Sato, Kazuyuki Amano, Eiji Takimoto, Akira Maruoka |
Monotone DNF Formula That Has a Minimal or Maximal Number of Satisfying Assignments. |
COCOON |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Koen V. Hindriks, M. Birna van Riemsdijk |
Satisfying Maintenance Goals. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Rachit Agarwal 0001, Emanuel M. Popovici, Brendan O'Flynn, Michael E. O'Sullivan |
A Parallel Architecture for Hermitian Decoders: Satisfying Resource and Throughput Constraints. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Joongman Kim, Seokung Yoon, Yoojae Won, Jaeil Lee |
VoIP Secure Communication Protocol satisfying Backward Compatibility. |
ICSNC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Harald Zankl, Aart Middeldorp |
Satisfying KBO Constraints. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Roberto Cignoli, Antoni Torrens |
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
MTL-algebras, Glivenko MTL-algebras, Nilpotent Minimum algebras, DL-algebras, Boolean products, Boolean retraction property, free algebras |
20 | Mei Kang Qiu, Chun Xue, Qingfeng Zhuge, Zili Shao, Meilin Liu, Edwin Hsing-Mean Sha |
Voltage Assignment and Loop Scheduling for Energy Minimization while Satisfying Timing Constraint with Guaranteed Probability. |
ASAP |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Frederick R. Reiss, Tapas Kanungo |
Satisfying Database Service Level Agreements while Minimizing Cost through Storage QoS. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Seunghoon Choi, Kyeongcheol Yang |
Autocorrelation Properties of Resilient Functions and Three-Valued Almost-Optimal Functions Satisfying PC( p). |
SETA |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Neeraj Mittal, Alper Sen 0001, Vijay K. Garg, Ranganath Atreya |
Finding Satisfying Global States: All for One and One for All. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Debasish Chakraborty, Goutam Chakraborty, Norio Shiratori |
A dynamic multicast routing satisfying multiple QoS constraints. |
Int. J. Netw. Manag. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Selçuk Kavut, Melek D. Yücel |
Improved Cost Function in the Design of Boolean Functions Satisfying Multiple Criteria. |
INDOCRYPT |
2003 |
DBLP DOI BibTeX RDF |
bent Boolean functions, Simulated annealing, nonlinearity, autocorrelation, Walsh-Hadamard transforms |
20 | Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation. |
ISVLSI |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström |
Counting Satisfying Assignments in 2-SAT and 3-SAT. |
COCOON |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Brad T. Vander Zanden |
An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
incremental constraint satisfaction, constraints, interactive systems |
20 | Scott Henninger |
Supporting the Process of Satisfying Information Needs with Reusable Software Libraries: An Empirical Study. |
SSR |
1995 |
DBLP DOI BibTeX RDF |
|
20 | N. W. Holloway, Somasundaram Ravindran, Alan Gibbons |
Approximating Minimum Weight Perfect Matchings for Complete Graphs Satisfying the Triangle Inequality. |
WG |
1993 |
DBLP DOI BibTeX RDF |
parallel algorithms, approximation algorithms, matching |
20 | Bart Preneel, René Govaerts, Joos Vandewalle |
Boolean Functions Satisfying Higher Order Propagation Criteria. |
EUROCRYPT |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Tran Khanh Dang, Phat T. Tran Truong |
A Pragmatic Privacy-Preserving Deep Learning Framework Satisfying Differential Privacy. |
SN Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Mihaela Todorova Tomova, Martin Hofmann 0019, Constantin Hütterer, Patrick Mäder |
Assessing the utility of text-to-SQL approaches for satisfying software developer information needs. |
Empir. Softw. Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | James M. Foster, Gonçalo Dos Reis, Calum Strange |
High Order Splitting Methods for SDEs Satisfying a Commutativity Condition. |
SIAM J. Numer. Anal. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Seong Hwan Kim 0001, Hu Jin |
Hybrid Beamforming Based SWIPT System Satisfying Individual Rate and Energy Constraints. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Dingwen Deng, Xiaohong Xiong |
Explicit, non-negativity-preserving and maximum-principle-satisfying finite difference scheme for the nonlinear Fisher's equation. |
Appl. Math. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | S. Alagu Rani, C. Akila, S. P. Raja 0001 |
Guided Intelligent Hyper-Heuristic Algorithm for Critical Software Application Testing Satisfying Multiple Coverage Criteria. |
J. Circuits Syst. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | James Jackaman, Scott P. MacLachlan |
Constraint-Satisfying Krylov Solvers for Structure-Preserving Discretizations. |
SIAM J. Matrix Anal. Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Arash Shahmansoori |
Concurrent Brainstorming & Hypothesis Satisfying: An Iterative Framework for Enhanced Retrieval-Augmented Generation (R2CBR3H-SR). |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Ruiwei Wang |
Encoding Constraints as Binary Constraint Networks Satisfying BTP. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Kyoka Ishigami, Miki Enoki, Masato Oguchi |
Event Retrieval from Mobile Devices with Location Anonymization Satisfying Geo-Indistinguishability Using Real Population Data. |
ICCE |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Oded Yaniv, Stanimir Mollov |
Synthesizing All Filtered Proportional-Integral and PID Controllers Satisfying Gain, Phase, and Sensitivity Specifications. |
IEEE Trans. Ind. Electron. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Saul D. Freedman, Andrea Lucchini, Daniele Nemmi, Colva M. Roney-Dougal |
Finite groups satisfying the independence property. |
Int. J. Algebra Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sonam, Vandana Rathore, Amita Pal, Ramakant Bhardwaj, Satyendra Narayan |
Fixed-Point Results for Mappings Satisfying Implicit Relation in Orthogonal Fuzzy Metric Spaces. |
Adv. Fuzzy Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Volker John, Petr Knobloch, Ondrej Pártl |
A Numerical Assessment of Finite Element Discretizations for Convection-Diffusion-Reaction Equations Satisfying Discrete Maximum Principles. |
Comput. Methods Appl. Math. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kyungwoon Lee, Kwanhoon Lee, Hyunchan Park, Jaehyun Hwang, Chuck Yoo |
Autothrottle: Satisfying Network Performance Requirements for Containers. |
IEEE Trans. Cloud Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shengliang Deng, Xiuxian Guan, Zekai Sun, Shixiong Zhao, Tianxiang Shen, Xusheng Chen, Tianyang Duan, Yuexuan Wang, Jia Pan, Yanjun Wu, Libo Zhang 0001, Heming Cui |
Coorp: Satisfying Low-Latency and High-Throughput Requirements of Wireless Network for Coordinated Robotic Learning. |
IEEE Internet Things J. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | P. Poornima, Murugesan Kuppusamy |
Standard pairs and construction of multiwavelets using refinement masks satisfying sum rules of order one. |
Int. J. Wavelets Multiresolution Inf. Process. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Qiaofeng Wen, Leipo Liu, Dexin Fu, Yilin Shang, Zhumu Fu |
Periodically Intermittent Controller Design for H∞ Synchronization of Nonlinear Descriptor Systems Satisfying Incremental Quadratic Constraints Under Stochastic Disturbance. |
Circuits Syst. Signal Process. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ibtisam Aldawish, Mohamed Jleli, Bessem Samet |
On Hermite-Hadamard-Type Inequalities for Functions Satisfying Second-Order Differential Inequalities. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xiaolong Shi, Saira Hameed, Sadia Akhter, Aysha Khan, Maryam Akhoundi |
Conversion of Unweighted Graphs to Weighted Graphs Satisfying Properties R and -SR. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexander I. Aptekarev, Alexander Dyachenko, Vladimir G. Lysov |
On Perfectness of Systems of Weights Satisfying Pearson's Equation with Nonstandard Parameters. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wen-Huang Li, Feng Qin, Ting-Hai Zhang |
Investigations of T-power based implications satisfying some functional equations related to reasoning schemes. |
Int. J. Approx. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hassan Al-Zoubi, Tareq Hamadneh, Ma'mon Abu Hammad, Mutaz Al-Sabbagh, Mehmet Özdemir |
Ruled and Quadric Surfaces Satisfying ΔIIN = ΛN. |
Symmetry |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yuchen Qian, Zhonghua Miao, Jin Zhou, Xiaojin Zhu 0002 |
On consensus control of nonlinear multiagent systems satisfying incremental quadratic constraints. |
J. Frankl. Inst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Andries E. Brouwer, Ferdinand Ihringer, William M. Kantor |
Strongly Regular Graphs Satisfying the 4-Vertex Condition. |
Comb. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yuanhong Ren, Wuneng Zhou, Zhiwei Li, Ling Liu, Yuqing Sun 0003 |
Prescribed-Time Consensus Tracking of Multiagent Systems With Nonlinear Dynamics Satisfying Time-Varying Lipschitz Growth Rates. |
IEEE Trans. Cybern. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Javad Kazemitabar 0001 |
A general framework for constructing distributions satisfying Benford's law. |
Commun. Stat. Simul. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Michael J. Gill, Ian M. Wanless |
Pairs of MOLS of order ten satisfying non-trivial relations. |
Des. Codes Cryptogr. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Dechao Li, Qiannan Guo |
MISO hierarchical inference engine satisfying the law of importation with aggregation functions. |
Artif. Intell. Rev. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yeyuan Chen, Yizhi Huang, Jiatu Li, Hanlin Ren |
Range Avoidance, Remote Point, and Hard Partial Truth Tables via Satisfying-Pairs Algorithms. |
Electron. Colloquium Comput. Complex. |
2023 |
DBLP BibTeX RDF |
|
15 | Onur Berkay Gamgam, Ezhan Karasan |
Satisfying strict deadlines for cellular Internet of Things through hybrid multiple access. |
Trans. Emerg. Telecommun. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Robert C. Kirby, Daniel Shapero |
High-order bounds-satisfying approximation of partial differential equations via finite element variational inequalities. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Federico Benzi, Federica Ferraguti, Cristian Secchi |
Energy Tank-based Control Framework for Satisfying the ISO/TS 15066 Constraint. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Adel Nikfarjam, Ralf Rothenberger, Frank Neumann 0001, Tobias Friedrich 0001 |
Evolutionary Diversity Optimisation in Constructing Satisfying Assignments. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexandr Polujan, Enes Pasalic, Sadmir Kudin, Fengrong Zhang |
Bent functions satisfying the dual bent condition and permutations with the Am property. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Na Yang, Jian-Hua Yin |
Group connectivity of graphs satisfying the Chvátal-condition. |
Discret. Appl. Math. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Chein-Shan Liu, Lin Qiu |
Solving Nonlinear Elliptic Inverse Source, Coefficient and Conductivity Problems by the Methods with Bases Satisfying the Boundary Conditions Automatically. |
J. Sci. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mathieu Lajante, Dewi Tojib, TingHin (Ivan) Ho |
When interacting with a service robot is (not) satisfying: The role of customers' need for social sharing of emotion. |
Comput. Hum. Behav. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | A. A. Illarionov |
Existence of Sequences Satisfying Bilinear Type Recurrence Relations. |
Probl. Inf. Transm. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Anshuman Misra, Ajay D. Kshemkalyani |
Byzantine Fault-Tolerant Causal Order Satisfying Strong Safety. |
SSS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Luyao Niu, Andrew Clark 0001, Radha Poovendran |
Necessary and Sufficient Conditions for Satisfying Linear Temporal Logic Constraints Using Control Barrier Certificates. |
CDC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff |
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. |
CDC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Takuto Yanagida, Jean Vanderdonckt, Nicolas Burny |
Adaptive GUI Layout by Satisfying Fuzzy Constraints. |
EICS (Companion) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Adel Nikfarjam, Ralf Rothenberger, Frank Neumann 0001, Tobias Friedrich 0001 |
Evolutionary Diversity Optimisation in Constructing Satisfying Assignments. |
GECCO |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hassan Alzoubi, Waseem Al-Mashaleh, Haitham Qawaqneh, Mohammad Al-kafaween |
Helicoidal Surfaces Satisfying $\boldsymbol{\varDelta}^{\boldsymbol{III}} \boldsymbol{r}=\boldsymbol{Ar}$. |
ICIT |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yeyuan Chen, Yizhi Huang, Jiatu Li, Hanlin Ren |
Range Avoidance, Remote Point, and Hard Partial Truth Table via Satisfying-Pairs Algorithms. |
STOC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Naoto Izumi, Tsuyoshi Kiyama, Shun Iriya |
Model Predictive Control Satisfying Constraints of Intersample Behavior. |
SICE |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Michal Baczynski 0001, Wlodzimierz Fechner, Mateusz Pieszczek, Sebastià Massanet |
The Form of Fuzzy Implication Functions Satisfying a Multiplicative Sincov's Equation. |
EUSFLAT/AGOP |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Eden Chlamtác, Yury Makarychev, Ali Vakilian |
Approximating Red-Blue Set Cover and Minimum Monotone Satisfying Assignment. |
APPROX/RANDOM |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hsiu-Chunj Pan, Hsun Su, Shin-Shin Kao |
On the 2-Vertex-Fault Hamiltonicity for Graphs Satisfying Ore's Theorem. |
J. Inf. Sci. Eng. |
2022 |
DBLP BibTeX RDF |
|
15 | N. K. Arutyunova, Aidar M. Dulliev, Vladislav I. Zabotin |
Global optimization of multivariable functions satisfying the Vanderbei condition. |
J. Appl. Math. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sang Hyun Park, Maolin Jin, Sang Hoon Kang |
Efficient Acceleration-Level Formula of Bias Acceleration Satisfying Time Precedence for Operational Space Formulation. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Leipo Liu, Yilin Shang, Yifan Di, Zhumu Fu, Xiushan Cai |
Impulsive Functional Observer Design for Fractional-Order Nonlinear Systems Satisfying Incremental Quadratic Constraints. |
Circuits Syst. Signal Process. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Elvis Aponte, Narayanapillai Jayanthi, Domingo Quiroz, Ponraj Vasanthakumar |
Tensor Product of Operators Satisfying Zariouh's Property (gaz), and Stability under Perturbations. |
Axioms |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Salvatore Sessa 0002, Mohamed Akkouchi |
Coincidence Points for Mappings in Metric Spaces Satisfying Weak Commuting Conditions. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Nannan Zhou, Shigong Long, Hai Liu 0007, Hai Liu |
Structure-Attribute Social Network Graph Data Publishing Satisfying Differential Privacy. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|