Search results for "NP-completeness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Mayez A. Al-Mouhamed, Steven S. Seiden	Minimization of Memory and Network Contention for Accessing Arbitrary Data Patterns in SIMD Systems.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	NP-completeness, multistage networks, storage schemes, parallel memories, Memory conflicts
12	Beate Bollig, Ingo Wegener	Improving the Variable Ordering of OBDDs Is NP-Complete.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	verification, NP-completeness, graph algorithms, Ordered binary decision diagrams, variable orderings
12	Masafumi Yamashita, Tsunehiko Kameda	Computing on Anonymous Networks: Part II-Decision and Membership Problems.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	edge election, spanning tree construction, topology recognition, distributed computing, NP-completeness, computability, leader election, Anonymous network
12	Uriel Feige, Shafi Goldwasser, László Lovász 0001, Shmuel Safra, Mario Szegedy	Interactive Proofs and the Hardness of Approximating Cliques.	J. ACM	1996	DBLP DOI BibTeX RDF	independent set in a graph, multilinearity testing np-completeness, hardness of approximation, probabilistically checkable proofs
12	Stefan Kahrs	Limits of ML-Definability.	PLILP	1996	DBLP DOI BibTeX RDF	completeness, ML, polymorphism, recursion, definability
12	Martin Grohe	Equivalence in Finite-Variable Logics is Complete for Polynomial Time.	FOCS	1996	DBLP DOI BibTeX RDF	finite-variable logics, finite structures, graph isomorphism problem, complexity theoretic difficulties, quantifier-free reductions, completeness result, counting quantifiers, computational complexity, first order logic, polynomial time, equivalence
12	Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien	On the Removal of Anti and Output Dependences.	ASAP	1996	DBLP DOI BibTeX RDF	anti dependences, output dependences, heuristics, NP-completeness, dependence graph, node splitting
12	Rainer Schuler	Truth-table Closure and Turing Closure of Average Polynomial Time have Different Measures in EXP.	CCC	1996	DBLP DOI BibTeX RDF	computational complexity, completeness, average-case analysis, resource-bounded measure
12	Jan Paredaens, Peter Peelman, Letizia Tanca	G-Log: A Graph-Based Query Language.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	graph-based databases, database algorithms, data models, completeness, database theory, Deductive databases, first-order logic, complex objects, database programming languages
12	Pekka Orponen, Ker-I Ko, Uwe Schöning, Osamu Watanabe 0001	Instance Complexity.	J. ACM	1994	DBLP DOI BibTeX RDF	nonuniform complexity, paddability, self-reducibility, completeness, Kolmogorov complexity
12	Rajeev Alur, Thomas A. Henzinger	A Really Temporal Logic.	J. ACM	1994	DBLP DOI BibTeX RDF	EXPSPACE-completeness, linear-time temporal logic, model checking, discrete time, real-time requirements, dense time
12	Foto N. Afrati, Christos H. Papadimitriou	The Parallel Complexity of Simple Logic Programs.	J. ACM	1993	DBLP DOI BibTeX RDF	polynomial fringe, polynomial stock, pushdown, automaton, P-completeness, NC
12	Andrea S. LaPaugh	Recontamination Does Not Help to Search a Graph.	J. ACM	1993	DBLP DOI BibTeX RDF	pursuit and evasion, NP-completeness, graph searching
12	Christos Papatheodorou, Vangelis Magirou, Vangelis Kiountouzis	Problem decomposition in distributed problem-solving systems.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	NP-completeness, directed acyclic graphs, Distributed problem solving, problem decomposition
12	David Shallcross, Victor Y. Pan, Yu Lin-Kriz	The NC Equivalence of Planar Integer Linear Programming and Euclidean GCD	FOCS	1993	DBLP DOI BibTeX RDF	NC equivalence, planar integer linear programming, Euclidean GCD, NC-reduction, remainder sequence, positive integers, Euclidean algorithm, P-completeness
12	Snehamay Kundu	Basis Sets for Synthesis of Switching Functions.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	basis set, logic primitives, synthesis, logic design, completeness, switching function, switching functions, Reed-Muller expansion
12	Jean H. Gallier, Paliath Narendran, Stan Raatz, Wayne Snyder	Theorem Proving Using Equational Matings and Rigid E-Unification.	J. ACM	1992	DBLP DOI BibTeX RDF	Knuth-Bendix procedure, matings, NP-completeness, unification, automated theorem proving, equational reasoning
12	Stephen A. Fenner, Lance Fortnow, Stuart A. Kurtz	The Isomorphism Conjecture Holds Relative to an Oracle	FOCS	1992	DBLP DOI BibTeX RDF	symmetric perfect generic sets, isomorphism conjecture, NP completeness, oracle
12	Greg N. Frederickson	Planar Graph Decomposition and All Pairs Shortest Paths.	J. ACM	1991	DBLP DOI BibTeX RDF	succinct encoding, approximation algorithm, NP-completeness, planar graph, graph embedding, all pairs shortest paths, outerplanar graph, compact routing table
12	Martin Gogolla, Uwe Hohenstein	Towards a Semantic View of an Extended Entity-Relationship Model.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	relational completeness, abstract data type, formal semantics, entity-relationship model, calculus, semantic data model, aggregate function, safeness
12	Sanjoy K. Baruah, Gilad Koren, Bhubaneswar Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha	On-line Scheduling in the Presence of Overload	FOCS	1991	DBLP DOI BibTeX RDF	processor time, online scheduling algorithm, nontrivial performance, data structures, NP completeness, upper bounds, deadline, execution time, preemptive scheduling, optimal performance, sporadic tasks, uniprocessor
12	Carme Àlvarez, José L. Balcázar, Joaquim Gabarró, Miklos Santha	Parallel Complexity in the Design and Analysis on Conurrent Systems.	PARLE (1)	1991	DBLP DOI BibTeX RDF	partially commutative monoids, PRAM algorithms, Petri nets, CCS, boolean circuits, P-completeness
12	Phokion G. Kolaitis, Christos H. Papadimitriou	Some Computational Aspects of Circumscription	J. ACM	1990	DBLP DOI BibTeX RDF	Horn, Model checking, NP-completeness, first-order logic, nonmonotonic reasoning, undecidability, Circumscription
12	O. Deux	The Story of O2.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	O/sub 2/, disk management, overriding, user interface generation tools, complete programming environment, multilanguage paradigm, dual mode, workstation/server configuration, prototype performance, object-oriented programming, programming environment, DBMS, database management systems, query language, query languages, completeness, inheritance, typing, extensibility, sharing, persistence, encapsulation, complex objects, object-oriented database system, object identity
12	Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar	Decision Problems for Propositional Linear Logic	FOCS	1990	DBLP DOI BibTeX RDF	noncommutative propositional linear logic, propositional linear logic, multiplicative fragment, unrestricted weakening, NP-completeness, undecidability, decision problem, PSPACE-complete
12	Russell Impagliazzo, Leonid A. Levin	No Better Ways to Generate Hard NP Instances than Picking Uniformly at Random	FOCS	1990	DBLP DOI BibTeX RDF	distributed NP problems, hard NP, DNP problem, P-time computable distributions, NP completeness, probability distributions, average-case complexity
12	Frank S. de Boer	A Proof System for the Language POOL.	REX Workshop	1990	DBLP DOI BibTeX RDF	partial correctness, completeness, Object, soundness, Hoare-logic, pointers, proof-system, rendezvous, object-creation
12	Michael Formann, Frank Wagner 0001	The VLSI layout in various embedding models.	WG	1990	DBLP DOI BibTeX RDF	embedding models, Manhattan model, knock-knee model, routing, VLSI, NP-completeness, layout
12	Fritz Henglein	Fast Left-Linear Semi-Unification.	ICCI	1990	DBLP DOI BibTeX RDF	semi-unification, left-linear, P-completeness
12	David Bernstein, Michael Rodeh, Izidor Gertner	On the Complexity of Scheduling Problems for Parallel/Pipelined Machines.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	pipelined machines, scheduling, computational complexity, complexity, NP-completeness, parallel machines, parallel machines, polynomial-time algorithm, pipeline processing, scheduling problems, dedicated processors
12	Dimiter Vakarelov	Modal Logics for Knowledge Representation Systems.	Logic at Botik	1989	DBLP DOI BibTeX RDF	knowledge representation systems, logics for knowledge representation, completeness theorems, filtration theorems, modal logics
12	Martin Gogolla	Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF	Theory of data bases, relational completeness, data model, abstract data type, formal semantics, integrity constraint, entity-relationship model, calculus, aggregate function
12	Karl R. Abrahamson, John A. Ellis, Michael R. Fellows, Manuel E. Mata	On the Complexity of Fixed Parameter Problems (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	fixed parameter problems, polynomially indexed relations, complexity, completeness, polynomial time, fixed-parameter tractability
12	Rob Gerth	Foundations of Compositional Program Refinement - Safety Properties.	REX Workshop	1989	DBLP DOI BibTeX RDF	algebraic process theory, assertional methods, (pre-)congruence, simulation, communication, concurrency, refinement, implementation, completeness, behavior, compositionality, transition system, full abstractness, shared variables
12	Leonid A. Levin	Homogeneous Measures and Polynomial Time Invariants	FOCS	1988	DBLP DOI BibTeX RDF	pseudorandom strings, homogeneous measures, polynomial time invariants, average case NP-completeness, Kolmogorov complexity, probability distributions
12	Johan van Benthem	Time, logic and computation.	REX Workshop	1988	DBLP DOI BibTeX RDF	first-order definability, period structure, point structure, Completeness, correspondence, event structure, temporal operator, computational semantics, tense logic
12	Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan	A logic for distributed transition systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	concurrent step, distributed transition systems, completeness, soundness, axiomatization
12	Grazyna Mirkowska, Andrzej Salwicki	On Applications of Algorithmic Logic.	CAAP	1986	DBLP DOI BibTeX RDF	algorithmic logic, LOGLAN, verification, specification, program, implementation, computation, completeness, extension, modules, expressivity, inference rules, axioms, semantical properties
12	Henryk Krawczyk, Marek Kubale	An Approximation Algorithm for Diagnostic Test Scheduling in Multicomputer Systems.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	diagnostic graph, diagnostic test scheduling, computational complexity, Approximation algorithm, NP-completeness, multicomputer system
12	Dan Benanav, Deepak Kapur, Paliath Narendran	Complexity of Matching Problems.	RTA	1985	DBLP DOI BibTeX RDF	Associative-Commutative, NP-Completeness, Matching, Associative, Commutative
12	Dana Richards	Complexity of Single-Layer Routing.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	single-layer routing, vertex disjoint paths, NP-completeness, planar graphs, VLSI design
12	Edward L. Robertson	Microcode Bit Optimizations is N P-Complete.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	parallelism., Control memory, microprogrammming, NP-completeness, minimization
12	Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman	Efficient Optimization of a Class of Relational Expressions.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	equivalence of queries, relational database, query optimization, NP-completeness, relational algebra, tableaux
12	Andrzej Lingas	A PSPACE Complete Problem Related to a Pebble Game.	ICALP	1978	DBLP DOI BibTeX RDF	dag, completeness in polynomial space, computational complexity, PSPACE, pebble game, AND/OR graph
12	Hon Fung Li	Scheduling Trees in Parallel/Pipelined Processing Environments.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Flush time, polynomial completeness, scheduling vector, parallel, reconfiguration, pipeline, tree, latency, structure, sharing, preemption
11	Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra	Polyhedral Completeness of Intermediate Logics: the nerve criterion.	J. Symb. Log.	2024	DBLP DOI BibTeX RDF
11	Mohammad Golshani, Reihane Zoghifard	Completeness of the Gödel-löB Provability Logic for the filter sequence of Normal Measures.	J. Symb. Log.	2024	DBLP DOI BibTeX RDF
11	Ryan Mcconkey, Oluwafemi Olukoya	Runtime and Design Time Completeness Checking of Dangerous Android App Permissions Against GDPR.	IEEE Access	2024	DBLP DOI BibTeX RDF
11	Dipeeka Luitel, Shabnam Hassani, Mehrdad Sabetzadeh	Improving requirements completeness: automated assistance through large language models.	Requir. Eng.	2024	DBLP DOI BibTeX RDF
11	Tobias Reinhard	Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds.	CoRR	2024	DBLP DOI BibTeX RDF
11	Linda-Sophie Schneider, Gabriel Herl, Andreas K. Maier	Integer Optimization of CT Trajectories using a Discrete Data Completeness Formulation.	CoRR	2024	DBLP DOI BibTeX RDF
11	Matt White, Ibrahim Haddad, Cailean Osborne, Xiao-Yang Liu, Ahmed Abdelmonsef, Sachin Varghese	The Model Openness Framework: Promoting Completeness and Openness for Reproducibility, Transparency and Usability in AI.	CoRR	2024	DBLP DOI BibTeX RDF
11	Zian Li, Xiyuan Wang, Shijia Kang, Muhan Zhang	On the Completeness of Invariant Geometric Deep Learning Models.	CoRR	2024	DBLP DOI BibTeX RDF
11	Hideo Bannai, Keisuke Goto 0001, Shunsuke Kanda, Dominik Köppl	NP-Completeness for the Space-Optimality of Double-Array Tries.	CoRR	2024	DBLP DOI BibTeX RDF
11	Stefan Hetzl, Raheleh Jalali	On the Completeness of Interpolation Algorithms.	CoRR	2024	DBLP DOI BibTeX RDF
11	Hrishikesh Patel, Tianwa Chen, Ivano Bongiovanni, Gianluca Demartini	Estimating Gender Completeness in Wikipedia.	CoRR	2024	DBLP DOI BibTeX RDF
11	Christoph Glasmacher, Hendrik Weber, Lutz Eckstein	Towards a Completeness Argumentation for Scenario Concepts.	CoRR	2024	DBLP DOI BibTeX RDF
11	Andi Chen, Hua-Lei Yin, Zeng-Bing Chen, Shengjun Wu	Hybrid Quantum-inspired Resnet and Densenet for Pattern Recognition with Completeness Analysis.	CoRR	2024	DBLP DOI BibTeX RDF
11	Simon Razniewski, Hiba Arnaout, Shrestha Ghosh, Fabian M. Suchanek	Completeness, Recall, and Negation in Open-world Knowledge Bases: A Survey.	ACM Comput. Surv.	2024	DBLP DOI BibTeX RDF
11	Renaud Vilmart	Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
11	Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand	Learning-based Relaxation of Completeness Requirements for Data Entry Forms.	ACM Trans. Softw. Eng. Methodol.	2024	DBLP DOI BibTeX RDF
11	Petr Kuchynka, Jirí Raclavský	Completeness in partial type theory.	J. Log. Comput.	2024	DBLP DOI BibTeX RDF
11	Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic	A Probabilistic Temporal Epistemic Logic: Strong Completeness.	Log. J. IGPL	2024	DBLP DOI BibTeX RDF
11	Gonzalo de la Cruz, Madalena Lira, Oscar Luaces, Beatriz Remeseiro	Eye-LRCN: A Long-Term Recurrent Convolutional Network for Eye Blink Completeness Detection.	IEEE Trans. Neural Networks Learn. Syst.	2024	DBLP DOI BibTeX RDF
11	Camila Sanz, Adriana Marotta	Context Based Completeness Assessment for Data Warehouse Hierarchies.	DOLAP	2024	DBLP BibTeX RDF
11	Pierre Ohlmann, Michal Skrzypczak	Positionality in Σ⁰₂ and a Completeness Result.	STACS	2024	DBLP DOI BibTeX RDF
11	Ian Shillito, Dominik Kirst	A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic.	CPP	2024	DBLP DOI BibTeX RDF
11	Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart	Quantum Circuit Completeness: Extensions and Simplifications.	CSL	2024	DBLP DOI BibTeX RDF
11	Joanna Kaczmarek 0001, Jörg Rothe	NPPP-Completeness of Control by Adding Players to Change the Penrose-Banzhaf Power Index in Weighted Voting Games.	AAMAS	2024	DBLP BibTeX RDF
11	Xiongjin Leng, Yan Yang 0001, Yongquan Jiang, Yan Liu	A Road Surface Defect Segmentation Model Based on GLoRA and Multi-Scale Completeness.	BigComp	2024	DBLP DOI BibTeX RDF
11	W. P. M. H. Heemels, Aneel Tanwani	Existence and Completeness of Solutions to Extended Projected Dynamical Systems and Sector-Bounded Projection-Based Controllers.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
11	Yoram Timmerman, Rihem Nasfi, Guy De Tré, Filip Pattyn, Antoon Bronselaer	Cost-based analysis of the impact of data completeness and representational consistency.	Decis. Support Syst.	2023	DBLP DOI BibTeX RDF
11	Tahira Ullah, Sven Lautenbach, Benjamin Herfort, Marcel Reinmuth, Danijel Schorlemmer	Assessing Completeness of OpenStreetMap Building Footprints Using MapSwipe.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
11	Hugh Xuechen Liu, Jussi Holopainen, Christian Wagner 0001	A design strategy for Geo AR mobile game sustainable success emphasizing game completeness.	Entertain. Comput.	2023	DBLP DOI BibTeX RDF
11	John L. Bell	Axiomatization and Completeness for Some Restricted Second-Order Languages.	J. Multiple Valued Log. Soft Comput.	2023	DBLP BibTeX RDF
11	Gunther Jäger	Completeness for Saturated $\mathsf{L}$-Quasi-Uniform Limit Spaces.	TFSS	2023	DBLP DOI BibTeX RDF
11	Grigory K. Olkhovikov	On the Completeness of Some First-order Extensions of C.	FLAP	2023	DBLP BibTeX RDF
11	Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini 0001	From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
11	Basit Ali, Stefan Cobzas, Mokhwetha Daniel Mabula	Ekeland Variational Principle and Some of Its Equivalents on a Weighted Graph, Completeness and the OSC Property.	Axioms	2023	DBLP DOI BibTeX RDF
11	Kang Lu	Completeness of Bethe Ansatz for Gaudin Models with gl(1\|1) Symmetry and Diagonal Twists.	Symmetry	2023	DBLP DOI BibTeX RDF
11	Michal Kleinbort, Kiril Solovey, Zakary Littlefield, Kostas E. Bekris, Dan Halperin	Corrections to "Probabilistic Completeness of RRT for Geometric and Kinodynamic Planning With Forward Propagation".	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
11	Jean Fornerod, Hoai-Minh Nguyen	The Weyl Law of Transmission Eigenvalues and the Completeness of Generalized Transmission Eigenfunctions without Complementing Conditions.	SIAM J. Math. Anal.	2023	DBLP DOI BibTeX RDF
11	Adam Wright, Richard Schreiber, David W. Bates, Skye Aaron, Angela Ai, Raja Arul Cholan, Akshay Desai, Miguel Divo, David A. Dorr, Thu-Trang T. Hickman, Salman T. Hussain, Shari Just, Brian Koh, Stuart R. Lipsitz, Dustin McEvoy, S. Trent Rosenbloom, Elise M. Russo, David Yut-Chee Ting, Asli Weitkamp, Dean F. Sittig	A multi-site randomized trial of a clinical decision support intervention to improve problem list completeness.	J. Am. Medical Informatics Assoc.	2023	DBLP DOI BibTeX RDF
11	Jennifer T. May, John Myers, Devon Noonan, Eleanor McConnell, Michael P. Cary	A call to action to improve the completeness of older adult sexual and gender minority data in electronic health records.	J. Am. Medical Informatics Assoc.	2023	DBLP DOI BibTeX RDF
11	Chinedu Aniekwe, Kendra Cuffe, Israel Audu, Nannim Nalda, Bright Ibezim, Michael Nnakwe, ThankGod Anazodo, Mubarak Dada, Erin Rottinghaus Romano, McPaul Okoye, Monte Martin, Ritu Shrivastava	Assessing the effect of electronic health information exchange on the completeness and validity of data for measuring viral load testing turnaround time in Nigeria.	Int. J. Medical Informatics	2023	DBLP DOI BibTeX RDF
11	Davide Ancona, Pietro Barbieri, Elena Zucca	Checked corecursive streams: Expressivity and completeness.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
11	Joanna Alvarado-Uribe, Ari Yair Barrera-Animas, Miguel González-Mendoza 0001, Ariel Lucien García-Gamboa, Neil Hernández-Gress	Towards a Standardized Evaluation of APIs Non-Functional Requirements Focused on Completeness and Soundness Qualities.	Computación y Sistemas (CyS)	2023	DBLP BibTeX RDF
11	Adrian de Wynter	Turing Completeness and Sid Meier's Civilization.	IEEE Trans. Games	2023	DBLP DOI BibTeX RDF
11	Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque	The Topological Mu-Calculus: Completeness and Decidability.	J. ACM	2023	DBLP DOI BibTeX RDF
11	Noam Mazor	Key-Agreement with Perfect Completeness from Random Oracles.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
11	Kalle Kujanpää, Joni Pajarinen, Alexander Ilin	Hybrid Search for Efficient Planning with Completeness Guarantees.	CoRR	2023	DBLP DOI BibTeX RDF
11	Dusko Pavlovic, Temra Pavlovic	From Gödel's Incompleteness Theorem to the completeness of bot religions (Extended abstract).	CoRR	2023	DBLP DOI BibTeX RDF
11	José Ángel Acosta, Anthony M. Bloch, David Martín de Diego	Completeness of Riemannian metrics: an application to the control of constrained mechanical systems.	CoRR	2023	DBLP DOI BibTeX RDF
11	Iasson Karafyllis, Dionysis Theodosis, Markos Papageorgiou	Forward Completeness and Applications to Control of Automated Vehicles.	CoRR	2023	DBLP DOI BibTeX RDF
11	Simon Razniewski, Hiba Arnaout, Shrestha Ghosh, Fabian M. Suchanek	Completeness, Recall, and Negation in Open-World Knowledge Bases: A Survey.	CoRR	2023	DBLP DOI BibTeX RDF
11	Tobias Reinhard, Justus Fasse, Bart Jacobs 0002	Completeness Thresholds for Memory Safety of Array Traversing Programs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Muhammad Ilyas Azeem, Sallam Abualhaija	A Multi-solution Study on GDPR AI-enabled Completeness Checking of DPAs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva 0001	Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.	CoRR	2023	DBLP DOI BibTeX RDF
11	Amanda Vidal	On the local consequence of modal Product logic: standard completeness and decidability.	CoRR	2023	DBLP DOI BibTeX RDF
11	Tobias Reinhard, Justus Fasse, Bart Jacobs 0002	Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract).	CoRR	2023	DBLP DOI BibTeX RDF