Search results for "NNF"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
172	Wai Yin Mok	A Comparative Study of Various Nested Normal Forms.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	nested relation schemes, nested database schemes, nested databases, nested normal forms, conflict-free sets of MVDs, acyclic database schemes, nested database design, design flexibility, algorithms, object-relational databases, nested relations, data redundancy, object-relational database management systems, SQL:1999
122	Florian Lonsing, Armin Biere	Nenofex: Expanding NNF for QBF Solving.	SAT	2008	DBLP DOI BibTeX RDF
102	Himanshu Jain, Edmund M. Clarke	Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts.	DAC	2009	DBLP DOI BibTeX RDF	NNF, verification, Boolean satisfiability, DPLL
79	Chuan Li 0002, Changjie Tang, Jing Peng, Jianjun Hu, Yongguang Jiang, Yong Xiaojia	NNF: An Effective Approach in Medicine Paring Analysis of Traditional Chinese Medicine Prescriptions.	DASFAA	2005	DBLP DOI BibTeX RDF
57	Edgar Altamirano, Gonzalo Escalada-Imaz	Finding Tractable Formulas in NNF.	Computational Logic	2000	DBLP DOI BibTeX RDF
43	Gary F. Egan, Wei Liu, Wee Siong Soh, Du Thanh Hang	Australian Neuroinformatics Research - Grid Computing and e-Research.	ICNC (1)	2005	DBLP DOI BibTeX RDF
43	Neil V. Murray, Erik Rosenthal	Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation.	TABLEAUX	2003	DBLP DOI BibTeX RDF
36	Yuhai Lan, Xingchun Xiang, Huaixuan Zhang, Shuhan Qi	A Highly Efficient and Robust Method For NNF-Based Template Matching.	ICME Workshops	2020	DBLP DOI BibTeX RDF
36	Daniel Le Berre, Emmanuel Lonca, Pierre Marquis	On the Complexity of Optimization Problems based on Compiled NNF Representations.	CoRR	2014	DBLP BibTeX RDF
36	Wai Yin Mok, David W. Embley	Using NNF to Transform Conceptual Data Models to Object-Oriented Database Designs.	Data Knowl. Eng.	1998	DBLP DOI BibTeX RDF
36	Yi Zhou, Shilin Wu	NNF and NNPrF - Fuzzy Petri Nets based on neural network for knowledge representation, reasoning and learning.	J. Comput. Sci. Technol.	1996	DBLP DOI BibTeX RDF
21	Michael Wachter 0001, Rolf Haenni	Multi-state Directed Acyclic Graphs.	Canadian AI	2007	DBLP DOI BibTeX RDF
21	Marcos R. Vieira, Caetano Traina Jr., Agma J. M. Traina, Adriano S. Arantes, Christos Faloutsos	Boosting k-Nearest Neighbor Queries Estimating Suitable Query Radii.	SSDBM	2007	DBLP DOI BibTeX RDF
21	Joachim Gudmundsson, Marc J. van Kreveld, Giri Narasimhan	Region-Restricted Clustering for Geographic Data Mining.	ESA	2006	DBLP DOI BibTeX RDF
21	Orly Meir, Ofer Strichman	Yet Another Decision Procedure for Equality Logic.	CAV	2005	DBLP DOI BibTeX RDF
21	Reiner Hähnle, Neil V. Murray, Erik Rosenthal	Completeness for Linear Regular Negation Normal Form Inference Systems.	ISMIS	1997	DBLP DOI BibTeX RDF	tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence
21	Anavai Ramesh, Neil V. Murray	Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates.	LPAR	1993	DBLP DOI BibTeX RDF