Search results for "NP-completeness"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Mark Koch, Dominik Kirst	Undecidability, incompleteness, and completeness of second-order logic in Coq.	CPP	2022	DBLP DOI BibTeX RDF
11	Jie Wang, Dingding Chen, Ziyu Chen, Xiang-Shuang Liu, Junsong Gao	Completeness Matters: Towards Efficient Caching in Tree-Based Synchronous Backtracking Search for DCOPs.	CP	2022	DBLP DOI BibTeX RDF
11	Amin Jaber, Adèle H. Ribeiro, Jiji Zhang, Elias Bareinboim	Causal Identification under Markov equivalence: Calculus, Algorithm, and Completeness.	NeurIPS	2022	DBLP BibTeX RDF
11	Damien Pous, Jana Wagemaker	Completeness Theorems for Kleene Algebra with Top.	CONCUR	2022	DBLP DOI BibTeX RDF
11	Eoin Moore	Soundness and Completeness Results for LEA and Probability Semantics.	LFCS	2022	DBLP DOI BibTeX RDF
11	José Meseguer 0001	Checking Sufficient Completeness by Inductive Theorem Proving.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
11	José Meseguer 0001, Stephen Skeirik	On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
11	Ana Carla Bibiano	Completeness of Composite Refactorings for Smell Removal.	ICSE-Companion	2022	DBLP DOI BibTeX RDF
11	Tomoyuki Yamakami	Parameterized-NL Completeness of Combinatorial Problems by Short Logarithmic-Space Reductions and Immediate Consequences of the Linear Space Hypothesis.	FTC (1)	2022	DBLP DOI BibTeX RDF
11	Joshua Ani, Lily Chung, Erik D. Demaine, Yevhenii Diomidov, Dylan H. Hendrickson, Jayson Lynch	Pushing Blocks via Checkable Gadgets: PSPACE-Completeness of Push-1F and Block/Box Dude.	FUN	2022	DBLP DOI BibTeX RDF
11	Hotaka Kaneyasu, Daiki Nobayashi, Kazuya Tsukamoto, Takeshi Ikenaga, Myung J. Lee	Data Completeness-aware Transmission Control for Large Spatio-Temporal Data Retention.	ICCE	2022	DBLP DOI BibTeX RDF
11	Yang Xiao, Zongjian Li, Qin Zhao, Yaqin Chen, Hao Li	The knowledge modeling of bridge code for automated completeness checking.	CIS	2022	DBLP DOI BibTeX RDF
11	Christopher Franz, Georg Mogk, Thomas Mrziglod, Kevin Schewior	Completeness and Diversity in Depth-First Proof-Number Search with Applications to Retrosynthesis.	IJCAI	2022	DBLP DOI BibTeX RDF
11	Hans L. Bodlaender, Carla Groenland, Hugo Jacob 0001, Lars Jaffke, Paloma T. Lima	XNLP-Completeness for Parameterized Problems on Graphs with a Linear Structure.	IPEC	2022	DBLP DOI BibTeX RDF
11	Anirudh Vemula	Planning and Execution using Inaccurate Models with Provable Guarantees on Task Completeness.		2022	DOI RDF
11	Alexandra Bugariu	Automatically Identifying Soundness and Completeness Errors in Program Analysis Tools.		2022	RDF
11	Daniela Glavanicová, Matteo Pascucci	Correctness and Completeness of Programming Instructions for Traffic Circulation.	Sci. Eng. Ethics	2021	DBLP DOI BibTeX RDF
11	Helyette Geman, Henry Price	Bitcoin spot and derivatives markets: Searching for completeness.	Risk Decis. Anal.	2021	DBLP DOI BibTeX RDF
11	Jung Mi Ko, Yong Chan Kim	Various operations and right completeness in generalized residuated lattices.	J. Intell. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
11	Haifeng Zhang, Alexander Ignatov	A Completeness and Complementarity Analysis of the Data Sources in the NOAA In Situ Sea Surface Temperature Quality Monitor (iQuam) System.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
11	Bernd Heinrich, Marcus Hopf, Daniel Lohninger, Alexander Schiller, Michael Szubartowicz	Data quality in recommender systems: the impact of completeness of item content data on prediction accuracy of recommender systems.	Electron. Mark.	2021	DBLP DOI BibTeX RDF
11	Philip Dittmann, Dion Leijnse	A class of Fields with a Restricted Model Completeness Property.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
11	Peter Hertling, Gisela Krommes	EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces.	ACM Trans. Comput. Log.	2021	DBLP DOI BibTeX RDF
11	Jisheng Pei, Lijie Wen, Hedong Yang, Jianmin Wang 0001, Xiaojun Ye	Estimating Global Completeness of Event Logs: A Comparative Study.	IEEE Trans. Serv. Comput.	2021	DBLP DOI BibTeX RDF
11	Subhi Issa, Onaopepo Adekunle, Fayçal Hamdi 0001, Samira Si-Said Cherfi, Michel Dumontier, Amrapali Zaveri	Knowledge Graph Completeness: A Systematic Literature Review.	IEEE Access	2021	DBLP DOI BibTeX RDF
11	Varadraj Prabhu Gurupur, Muhammed Shelleh	Machine Learning Analysis for Data Incompleteness (MADI): Analyzing the Data Completeness of Patient Records Using a Random Variable Approach to Predict the Incompleteness of Electronic Health Records.	IEEE Access	2021	DBLP DOI BibTeX RDF
11	Hamid Hoorfar, Alireza Bagheri	NP-completeness of chromatic orthogonal art gallery problem.	J. Supercomput.	2021	DBLP DOI BibTeX RDF
11	Gabriel F. B. de Medeiros, Lívia Castro Degrossi, Maristela Holanda	QualiOSM: An Architecture to Improve Data Completeness on OpenStreetMap.	J. Inf. Data Manag.	2021	DBLP BibTeX RDF
11	Joshua Brakensiek, Venkatesan Guruswami	The Quest for Strong Inapproximability Results with Perfect Completeness.	ACM Trans. Algorithms	2021	DBLP DOI BibTeX RDF
11	Hans-Friedrich Köhn, Chia-Yi Chiu	A Unified Theory of the Completeness of Q-Matrices for the DINA Model.	J. Classif.	2021	DBLP DOI BibTeX RDF
11	Tommaso Flaminio	On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events.	Int. J. Approx. Reason.	2021	DBLP DOI BibTeX RDF
11	Nayyar Iqbal, Jun Sang	Fuzzy Logic Testing Approach for Measuring Software Completeness.	Symmetry	2021	DBLP DOI BibTeX RDF
11	Arshad Ali Khan, Basit Ali	Completeness of b-Metric Spaces and Best Proximity Points of Nonself Quasi-Contractions.	Symmetry	2021	DBLP DOI BibTeX RDF
11	Adrian Kulmburg, Matthias Althoff	On the co-NP-completeness of the zonotope containment problem.	Eur. J. Control	2021	DBLP DOI BibTeX RDF
11	Jordan Poulos, Leilei Zhu, Anoop D. Shah	Data gaps in electronic health record (EHR) systems: An audit of problem list completeness during the COVID-19 pandemic.	Int. J. Medical Informatics	2021	DBLP DOI BibTeX RDF
11	Taishi Kurahashi, Yuya Okawa	Modal completeness of sublogics of the interpretability logic IL.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
11	Xianmin Liu, Jianzhong Li 0001, Yingshu Li, Yuqiang Feng	Parameterized complexity of completeness reasoning for conjunctive queries.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
11	Matteo Lorenzini, Marco Rospocher, Sara Tonelli	On assessing metadata completeness in digital cultural heritage repositories.	Digit. Scholarsh. Humanit.	2021	DBLP DOI BibTeX RDF
11	Lisandra Díaz de la Paz, Francisco N. Riestra Collado, Juan-Luis García-Mendoza, Luisa M. González-González, Amed Abel Leiva Mederos, Alberto Taboada-Crispí	Weights Estimation in the Completeness Measurement of Bibliographic Metadata.	Computación y Sistemas	2021	DBLP DOI BibTeX RDF
11	Xiaotie Deng, Jack R. Edmonds, Zhe Feng 0004, Zhengyang Liu 0002, Qi Qi 0003, Zeying Xu	Understanding PPA-completeness.	J. Comput. Syst. Sci.	2021	DBLP DOI BibTeX RDF
11	Stefano Bonzio, Michele Pra Baldi	Containment Logics: Algebraic Completeness and Axiomatization.	Stud Logica	2021	DBLP DOI BibTeX RDF
11	Runbin Tang, Zuguo Yu, Yuanlin Ma, Yaoqun Wu, Yi-Ping Phoebe Chen, Limsoon Wong, Jinyan Li 0001	Genetic source completeness of HIV-1 circulating recombinant forms (CRFs) predicted by multi-label learning.	Bioinform.	2021	DBLP DOI BibTeX RDF
11	Longwei Wang, Meige Song, Min Zhang, Li Wang	How does contract completeness affect tacit knowledge acquisition?	J. Knowl. Manag.	2021	DBLP DOI BibTeX RDF
11	Alec Henderson, Radu Nicolescu, Michael J. Dinneen, T. N. Chan, Hendrik Happe, Thomas Hinze	Turing completeness of water computing.	J. Membr. Comput.	2021	DBLP DOI BibTeX RDF
11	Mikhail Starostin	Implicit completeness criterion in three-valued logic in terms of maximal classes.	CoRR	2021	DBLP BibTeX RDF
11	Todd Schmid, Jurriaan Rot, Alexandra Silva 0001	On Star Expressions and Coalgebraic Completeness Theorems.	MFPS	2021	DBLP DOI BibTeX RDF
11	Jan Rooduijn, Yde Venema	Filtration and canonical completeness for continuous modal mu-calculi.	GandALF	2021	DBLP DOI BibTeX RDF
11	Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque	The Topological Mu-Calculus: completeness and decidability.	CoRR	2021	DBLP BibTeX RDF
11	Marco Maggesi, Cosimo Perini Brogi	A formal proof of modal completeness for provability logic.	CoRR	2021	DBLP BibTeX RDF
11	Orlando Amaral, Sallam Abualhaija, Damiano Torre, Mehrdad Sabetzadeh, Lionel C. Briand	AI-enabled Automation for Completeness Checking of Privacy Policies.	CoRR	2021	DBLP BibTeX RDF
11	André Arnold, Patrick Cégielski, Irène Guessarian	Affine completeness of some free binary algebras.	CoRR	2021	DBLP BibTeX RDF
11	Peter Jansen 0001, Kelly J. Smith, Dan Moreno, Huitzilin Ortiz	On the Challenges of Evaluating Compositional Explanations in Multi-Hop Inference: Relevance, Completeness, and Expert Ratings.	CoRR	2021	DBLP BibTeX RDF
11	Wlodzimierz Drabent	On correctness and completeness of an n queens program.	CoRR	2021	DBLP BibTeX RDF
11	Marcel Gehrke	On the Completeness and Complexity of the Lifted Dynamic Junction Tree Algorithm.	CoRR	2021	DBLP BibTeX RDF
11	Sagnik Saha, Manish Purohit	NP-completeness of the Active Time Scheduling Problem.	CoRR	2021	DBLP BibTeX RDF
11	Ramana Nagasamudram, David A. Naumann	Alignment Completeness for Relational Hoare Logics.	CoRR	2021	DBLP BibTeX RDF
11	Antti Valmari, Lauri Hella	A Completeness Proof for A Regular Predicate Logic with Undefined Truth Value.	CoRR	2021	DBLP BibTeX RDF
11	Christian Ikenmeyer, Abhiroop Sanyal	A note on VNP-completeness and border complexity.	CoRR	2021	DBLP BibTeX RDF
11	Pilhyeon Lee, Hyeran Byun	Learning Action Completeness from Points for Weakly-supervised Temporal Action Localization.	CoRR	2021	DBLP BibTeX RDF
11	Adrian de Wynter	Turing Completeness and Sid Meier's Civilization.	CoRR	2021	DBLP BibTeX RDF
11	Eric Hayden Campbell, Michael Greenberg 0002	Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic.	CoRR	2021	DBLP BibTeX RDF
11	Andreas Abel 0001	Birkhoff's Completeness Theorem for Multi-Sorted Algebras Formalized in Agda.	CoRR	2021	DBLP BibTeX RDF
11	Eugene Eberbach	On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus.	CoRR	2021	DBLP BibTeX RDF
11	Karl Bringmann, Alejandro Cassis, Nick Fischer, Marvin Künnemann	Fine-Grained Completeness for Optimization in P.	CoRR	2021	DBLP BibTeX RDF
11	Quentin Cohen-Solal	Completeness of Unbounded Best-First Game Algorithms.	CoRR	2021	DBLP BibTeX RDF
11	Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva 0001	Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.	CoRR	2021	DBLP BibTeX RDF
11	Jinsheng Chen, Giuseppe Greco 0001, Alessandra Palmigiano, Apostolos Tzimoulis	Syntactic completeness of proper display calculi.	CoRR	2021	DBLP BibTeX RDF
11	Leonid Barenboim, Tzalik Maimon	Deterministic Logarithmic Completeness in the Distributed Sleeping Model.	CoRR	2021	DBLP BibTeX RDF
11	Masatoshi Uehara, Masaaki Imaizumi, Nan Jiang 0008, Nathan Kallus, Wen Sun 0002, Tengyang Xie	Finite Sample Analysis of Minimax Offline Reinforcement Learning: Completeness, Fast Rates and First-Order Efficiency.	CoRR	2021	DBLP BibTeX RDF
11	Caroline Quinn, J. J. McArthur	A case study comparing the completeness and expressiveness of two industry recognized ontologies.	Adv. Eng. Informatics	2021	DBLP DOI BibTeX RDF
11	Simon Razniewski, Hiba Arnaout, Shrestha Ghosh, Fabian M. Suchanek	On the Limits of Machine Knowledge: Completeness, Recall and Negation in Web-scale Knowledge Bases. (PDF / PS)	Proc. VLDB Endow.	2021	DBLP DOI BibTeX RDF
11	Mojtaba Moniri	Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95-100.	Reports Math. Log.	2021	DBLP BibTeX RDF
11	Yolanda Villacampa, Patricia Sastre-Vázquez, José A. Reyes, Fernando García-Alonso	Consistency and Completeness in Model Systems.	Cybern. Syst.	2021	DBLP DOI BibTeX RDF
11	Oliver Fritz, Michael Auer, Alexander Zipf	Entwicklung eines Regressionsmodells für die Vollständigkeitsanalyse des globalen OpenStreetMap- Datenbestands an Nahverkehrs-Busstrecken / Development of a Regression Model for the Analysis of Local Bus Route Data Completeness on OpenStreetMap.	AGIT Journal Angew. Geoinformatik	2021	DBLP DOI BibTeX RDF
11	Diego Nicolás Castaño, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda	Completeness for monadic fuzzy logics via functional algebras.	Fuzzy Sets Syst.	2021	DBLP DOI BibTeX RDF
11	Jingjing Lou	Predictive Control-Based Completeness Analysis and Global Calibration of Robot Vision Features.	Comput. Intell. Neurosci.	2021	DBLP DOI BibTeX RDF
11	Si Gao, Elisabeth Oswald	A Novel Completeness Test and its Application to Side Channel Attacks and Simulators.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
11	Gianluca Grilletti	Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.	J. Log. Lang. Inf.	2021	DBLP DOI BibTeX RDF
11	Asta Halkjær From	Soundness and Completeness of an Axiomatic System for First-Order Logic.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
11	Samara Burns, Richard Zach	Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics k, T, and d.	Rev. Symb. Log.	2021	DBLP DOI BibTeX RDF
11	Lea Seep, Anne Bonin, Katharina Meier, Holger Diedam, Andreas H. Göller	Ensemble completeness in conformer sampling: the case of small macrocycles.	J. Cheminformatics	2021	DBLP DOI BibTeX RDF
11	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin	Model Completeness, Uniform Interpolants and Superposition Calculus.	J. Autom. Reason.	2021	DBLP DOI BibTeX RDF
11	Laura A. Evans, Jack W. London, Matvey B. Palchuk	Assessing real-world medication data completeness.	J. Biomed. Informatics	2021	DBLP DOI BibTeX RDF
11	Yannick Forster 0002, Dominik Kirst, Dominik Wehr	Completeness theorems for first-order logic analysed in constructive type theory.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
11	Jennifer Chubb, Russell G. Miller, Reed Solomon	Model completeness and relative decidability.	Arch. Math. Log.	2021	DBLP DOI BibTeX RDF
11	Andrés Santamaría-Galvis, Russ Woodroofe	Shellings from Relative Shellings, with an Application to NP-Completeness.	Discret. Comput. Geom.	2021	DBLP DOI BibTeX RDF
11	Frank S. de Boer, Hans-Dieter A. Hiep	Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic.	ACM Trans. Program. Lang. Syst.	2021	DBLP DOI BibTeX RDF
11	Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni	Completeness of string analysis for dynamic languages.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
11	Tingting Bao, Nan Zhou, Hong Peng 0001, Qian Yang, Jun Wang 0013	Computational completeness of sequential spiking neural P systems with inhibitory rules.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
11	Ziheng Wei, Sebastian Link	Embedded Functional Dependencies and Data-completeness Tailored Database Design.	ACM Trans. Database Syst.	2021	DBLP DOI BibTeX RDF
11	Hua Zhao, Shujia Li, Peixin Zhang, Qingtian Zeng	An Emergency Measure Completeness Evaluation Method Based on UGC Data.	Mob. Inf. Syst.	2021	DBLP DOI BibTeX RDF
11	Pilhyeon Lee, Hyeran Byun	Learning Action Completeness from Points for Weakly-supervised Temporal Action Localization.	ICCV	2021	DBLP DOI BibTeX RDF
11	Xun Wang	Completeness Theorems for $\exists \Box $-Fragment of First-Order Modal Logic.	LORI	2021	DBLP DOI BibTeX RDF
11	Damien Pous, Jurriaan Rot, Jana Wagemaker	On Tools for Completeness of Kleene Algebra with Hypotheses.	RAMiCS	2021	DBLP DOI BibTeX RDF
11	Asta Halkjær From	Formalized Soundness and Completeness of Epistemic Logic.	WoLLIC	2021	DBLP DOI BibTeX RDF
11	Ahmad Abbadi, Vaclav Prenosil	Enhancing Requirements Completeness of Automated Driving System in Concept Phase.	MESAS	2021	DBLP DOI BibTeX RDF
11	Rabail Tahir, Alf Inge Wang	Completeness and Collaboration in the Early Design Phase of Learning Games: Do Ideation Cards Provide Scaffolding?	HCI (24)	2021	DBLP DOI BibTeX RDF
11	Joshua A. Grochow, Youming Qiao	On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials I: Tensor Isomorphism-Completeness.	ITCS	2021	DBLP DOI BibTeX RDF
11	Mark Kuster	Metrological Data Completeness for Digital Transformation.	MetroInd4.0&IoT	2021	DBLP DOI BibTeX RDF
11	Oleksandr V. Kanivets, Irina M. Kanivets, Tetyana M. Gorda, Oleksii A. Burlaka	Development of a machine vision program to determine the completeness of wrapping plants in the soil.	CS&SE@SW	2021	DBLP BibTeX RDF