Search results for "tautology"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	Jason Cong, John Peck	On acceleration of the check tautology logic synthesis algorithm using an FPGA-based reconfigurable coprocessor.	FCCM	1997	DBLP DOI BibTeX RDF
50	Brigitte Bösli	Stable Logic.	CSL	1991	DBLP DOI BibTeX RDF
48	Karl Fuchs	Synthesis for path delay fault testability via tautology-based untestability identification and factorization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
45	Karl-Heinz Pennemann	Resolution-Like Theorem Proving for High-Level Conditions.	ICGT	2008	DBLP DOI BibTeX RDF	first-order tautology problem, high-level conditions, weak adhesive HLR categories, theorem proving, resolution
45	Germano Resconi, Chiara Ratti	Invariants and Fuzzy Logic.	KES	2003	DBLP DOI BibTeX RDF	meta-theory, tautology, Fuzzy logic, modal logic, invariant, compensation
33	Toshio Suzuki	Bounded truth table does not reduce the one-query tautologies to a random oracle.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q15, 03D15
33	Bernhard Schwarz	The Complexity of Satisfiability Problems over Finite Lattices.	STACS	2004	DBLP DOI BibTeX RDF
33	Lintao Zhang, Sharad Malik	Conflict driven learning in a quantified Boolean Satisfiability solver.	ICCAD	2002	DBLP DOI BibTeX RDF
33	W. O. David Griffioen, Frits W. Vaandrager	Normed Simulations.	CAV	1998	DBLP DOI BibTeX RDF
33	Abdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli	Reduced Offsets for Two-Level Multi-Valued Logic Minimization.	DAC	1990	DBLP DOI BibTeX RDF
33	Yue-Sun Kuo, W. K. Chou	Generating essential primes for a Boolean function with multiple-valued inputs.	DAC	1986	DBLP DOI BibTeX RDF
33	Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli	PLATYPUS: a PLA test pattern generation tool.	DAC	1985	DBLP DOI BibTeX RDF
31	Nora Almeida	Library Tautology: A Reenactment of the One-Shot.	Coll. Res. Libr.	2022	DBLP DOI BibTeX RDF
31	Olaf Beyersdorff, Joshua Blinkhorn, Tomás Peitl	Strong (D)QBF Dependency Schemes via Tautology-free Resolution Paths.	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
31	Jørgen Villadsen	Tautology Checkers in Isabelle and Haskell.	CILC	2020	DBLP BibTeX RDF
31	Olaf Beyersdorff, Joshua Blinkhorn, Tomás Peitl	Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths.	SAT	2020	DBLP DOI BibTeX RDF
31	David-Antoine Williams	Method as tautology in the digital humanities.	Digit. Scholarsh. Humanit.	2015	DBLP DOI BibTeX RDF
31	Edward Hermann Haeusler	How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning.	LANMR (Selected Papers)	2014	DBLP DOI BibTeX RDF
31	Marcin Detyniecki, Marie-Jeanne Lesot, Paul Moncuquet	Intuitionistic Fuzzy Tautology Definitions for the Validity of Intuitionistic Fuzzy Implications: An Experimental Study.	IEEE Conf. on Intelligent Systems (1)	2014	DBLP DOI BibTeX RDF
31	Edward Hermann Haeusler	How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning.	LANMR	2014	DBLP BibTeX RDF
31	Pey-Chang Kent Lin, Sunil P. Khatri	Noise-based algorithms for functional equivalence and tautology checking.	ICCD	2013	DBLP DOI BibTeX RDF
31	Ramya Dharam, Sajjan G. Shiva	Runtime monitors for tautology based SQL injection attacks.	CyberSec	2012	DBLP DOI BibTeX RDF
31	Axel Schulte, Claudia Meitinger, Reiner Onken	Human factors in the guidance of uninhabited vehicles: oxymoron or tautology?	Cogn. Technol. Work.	2009	DBLP DOI BibTeX RDF	Cognitive automation, Operator assistance, Flight guidance, Work system, Cognitive co-operation, Manned-unmanned teaming, UAV, Autonomous systems
31	John Michopoulos, Sam Lambrakos	On the Fundamental Tautology of Validating Data-Driven Models and Simulations.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
31	Eduard Cerny, C. Mauras	Tautology Checking Using Cross-Controllability and Cross-Observability Relations.	ICCAD	1990	DBLP DOI BibTeX RDF
31	K. M. Hörnig, Wolfgang Bibel	Improvements of a Tautology-Testing Algorithm.	CADE	1982	DBLP DOI BibTeX RDF
31	Mordechai Ben-Ari	Comments on "Tautology Testing with a Generalized Matrix Reduction Method".	Theor. Comput. Sci.	1980	DBLP DOI BibTeX RDF
31	Wolfgang Bibel	Tautology Testing with a Generalized Matrix Reduction Method.	Theor. Comput. Sci.	1979	DBLP DOI BibTeX RDF
28	Jordan Gergov, Christoph Meinel	Efficient Boolean Manipulation With OBDD's can be Extended to FBDD's.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	Boolean manipulation, Boolean function manipulation, equivalence test, satisfiability test, tautology test, total computation, data structures, data structure, Boolean functions, logic design, circuit design, OBDD, canonical representations
28	Li Dafa	Intelligent CAI Course in the First-Order Logic.	ICCAL	1990	DBLP DOI BibTeX RDF	tautology, theorem proving, first-order logic, resolution, natural deduction
28	Yue-Sun Kuo	Generating Essential Primes for a Boolean Function with Multiple-Valued Inputs.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	Boolean function with multiple-valued inputs, essential prime implicant, tautology checking, consensus, logic minimization, unate function
17	Moataz Saleh El-Zekey, Wafik Boulos Lotfallah, Nehad N. Morsi	Computational complexities of axiomatic extensions of monoidal t-norm based logic.	Soft Comput.	2009	DBLP DOI BibTeX RDF
17	Aaron Sloman	Some Requirements for Human-Like Robots: Why the Recent Over-Emphasis on Embodiment Has Held Up Progress.	Creating Brain-Like Intelligence	2009	DBLP DOI BibTeX RDF
17	Pablo César, Konstantinos Chorianopoulos, Jens F. Jensen	Social television and user interaction.	Comput. Entertain.	2008	DBLP DOI BibTeX RDF	interactive digital television, social interactive television, user interaction, set-top box, social communications
17	Balasubramaniam Jayaram	On the Law of Importation (x wedge y) longrightarrow z equiv (x longrightarrow (y longrightarrow z)) in Fuzzy Logic.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
17	Michael C. Laskowski, Shirin Malekpour	Provability in predicate product logic.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF
17	Wenjing Rao, Alex Orailoglu, Ramesh Karri	Fault Tolerant Approaches to Nanoelectronic Programmable Logic Arrays.	DSN	2007	DBLP DOI BibTeX RDF
17	Wenjing Rao, Alex Orailoglu, Ramesh Karri	Interactive presentation: Logic level fault tolerance approaches targeting nanoelectronics PLAs.	DATE	2007	DBLP DOI BibTeX RDF
17	Cheng Han, Guojun Wang, Wenyan Xu	A 16-classification partition of formula set F(S) in revised Kleene system W.	Soft Comput.	2006	DBLP DOI BibTeX RDF	R0-algebra, Truth value domain, K-formula, Nilpotent minimums, Partition
17	Adriana Galli, Renato A. Lewin, Marta Sagastume	The logic of equilibrium and abelian lattice ordered groups.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
17	Petr Hájek 0001	Basic fuzzy logic and BL-algebras II.	Soft Comput.	2003	DBLP DOI BibTeX RDF
17	John Harrison 0001	Formal Verification at Intel.	LICS	2003	DBLP DOI BibTeX RDF
17	Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan	The Maude LTL Model Checker and Its Implementation.	SPIN	2003	DBLP DOI BibTeX RDF
17	Emmanuel Beffara, Vincent Danos	Disjunctive normal forms and local exceptions.	ICFP	2003	DBLP DOI BibTeX RDF	classical realizability, control structures, disjunctive normal forms
17	Hans Kleine Büning, K. Subramani 0001, Xishun Zhao	On Boolean Models for Quantified Boolean Horn Formulas.	SAT	2003	DBLP DOI BibTeX RDF
17	Stefano Aguzzoli, Brunella Gerla	Finite-valued reductions of infinite-valued logics.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
17	Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal	Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles.	FOCS	2002	DBLP DOI BibTeX RDF
17	Michael Alekhnovich, Alexander A. Razborov	Satisfiability, Branch-Width and Tseitin Tautologies.	FOCS	2002	DBLP DOI BibTeX RDF
17	Gunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna	A proof engine approach to solving combinational design automation problems.	DAC	2002	DBLP DOI BibTeX RDF
17	Eli Ben-Sasson, Avi Wigderson	Short proofs are narrow - resolution made simple.	J. ACM	2001	DBLP DOI BibTeX RDF
17	Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez	A Certified Polynomial-Based Decision Procedure for Propositional Logic.	TPHOLs	2001	DBLP DOI BibTeX RDF
17	Jan Friso Groote, Jaco van de Pol	Equational Binary Decision Diagrams.	LPAR	2000	DBLP DOI BibTeX RDF
17	Antonia Balaa, Yves Bertot	Fix-Point Equations for Well-Founded Recursion in Type Theory.	TPHOLs	2000	DBLP DOI BibTeX RDF
17	Leszek Holenderski	Compositional Verification of Synchronous Networks.	FTRTFT	2000	DBLP DOI BibTeX RDF
17	Cindy Eisner	Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard.	CHARME	1999	DBLP DOI BibTeX RDF
17	Leo Bachmair, Harald Ganzinger	Ordered Chaining Calculi for First-Order Theories of Transitive Relations.	J. ACM	1998	DBLP DOI BibTeX RDF	chaining calculi, reduction orderings, transitive relations, term rewriting, rewrite systems, equational logic
17	Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet	Verifying a Self-Timed Divider.	ASYNC	1998	DBLP DOI BibTeX RDF	model checking, refinement, asynchronous, hardware verification, timing verification, self-timed, speed-independence
17	Luca Benini, Giovanni De Micheli	A survey of Boolean matching techniques for library binding.	ACM Trans. Design Autom. Electr. Syst.	1997	DBLP DOI BibTeX RDF
17	Henrik Reif Andersen, Henrik Hulgaard	Boolean Expression Diagrams (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
17	John Harrison 0001	Binary Decision Diagrams as a HOL Derived Rule.	TPHOLs	1994	DBLP DOI BibTeX RDF
17	Leo Bachmair, Harald Ganzinger	Ordered Chaining for Total Orderings.	CADE	1994	DBLP DOI BibTeX RDF
17	Pavel Pudlák, Samuel R. Buss	How to Lie Without Being (Easily) Convicted and the Length of Proofs in Propositional Calculus.	CSL	1994	DBLP DOI BibTeX RDF
17	Dominique Borrione, Laurence V. Pierre, Ashraf M. Salem	Formal Verification of VHDL Descriptions in the Prevail Environment.	IEEE Des. Test Comput.	1992	DBLP DOI BibTeX RDF
17	Frédéric Mailhot 0001, Giovanni De Micheli	Technology mapping using boolean matching and don't care sets.	EURO-DAC	1990	DBLP DOI BibTeX RDF
17	Gary D. Hachtel, Reily M. Jacoby	Verification algorithms for VLSI synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
17	Harry B. Hunt III, Richard Edwin Stearns	Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report).	STACS	1986	DBLP DOI BibTeX RDF