The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Satisfying with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1960-1976 (17) 1977-1980 (18) 1981-1984 (27) 1985-1987 (23) 1988 (17) 1989 (26) 1990 (28) 1991 (21) 1992 (20) 1993 (41) 1994 (33) 1995 (43) 1996 (50) 1997 (64) 1998 (75) 1999 (120) 2000 (133) 2001 (156) 2002 (197) 2003 (210) 2004 (329) 2005 (414) 2006 (430) 2007 (471) 2008 (476) 2009 (307) 2010 (75) 2011 (45) 2012 (44) 2013 (39) 2014 (31) 2015 (34) 2016 (40) 2017 (37) 2018 (37) 2019 (42) 2020 (42) 2021 (40) 2022 (47) 2023 (39) 2024 (10)
Publication types (Num. hits)
article(1311) incollection(12) inproceedings(3018) phdthesis(7)
Venues (Conferences, Journals, ...)
CoRR(66) IEEE Trans. Comput. Aided Des....(38) IEEE Trans. Inf. Theory(36) IPDPS(30) DATE(27) SODA(26) FOCS(25) SAC(23) STOC(22) Des. Codes Cryptogr.(21) IROS(21) ISAAC(21) MFCS(21) Discret. Math.(20) STACS(20) EUROCRYPT(19) More (+10 of total 1512)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3527 occurrences of 2306 keywords

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