Search results for "Booleans"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Pim van den Broek, Joost Noppen	The Compositional Rule of Inference and Zadeh's Extension Principle for Non-normal Fuzzy Sets.	IFSA (2)	2007	DBLP DOI BibTeX RDF	compositional rule of inference, fuzzy Booleans, extension principle
48	Pedro Barahona	Defeasible Constraint Solving over the Booleans.	IBERAMIA	1998	DBLP DOI BibTeX RDF
35	Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca	A logical account of pspace.	POPL	2008	DBLP DOI BibTeX RDF	type assignment, linear logic, implicit computational complexity, polynomial space
35	Randal E. Bryant	Formal Verification of Infinite State Systems Using Boolean Methods.	LICS	2006	DBLP DOI BibTeX RDF
35	Jonny Vinter, Olof Hannius, Torbjörn Norlander, Peter Folkesson, Johan Karlsson	Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control System for Unmanned Aerial Vehicles.	DSN	2005	DBLP DOI BibTeX RDF
35	Martin Fränzle, Christian Herde	Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems.	LPAR	2003	DBLP DOI BibTeX RDF	non-clausal propositional logic, zero-one linear constraint systems, Satisfiability, proof search, acceleration techniques
33	Thomas W. Sederberg, G. Thomas Finnigan, Xin Li 0021, Hongwei Lin, Heather Ipson	Watertight trimmed NURBS.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	NURBS, T-splines, Booleans, surface intersection
30	Yves Lepage	Formulae for the solution of an analogical equation between Booleans using the Sheffer stroke (NAND) or the Pierce arrow (NOR).	IARML@IJCAI	2023	DBLP BibTeX RDF
30	Gianmarco Cherchi, Fabio Pellacini, Marco Attene, Marco Livesu	Interactive and Robust Mesh Booleans.	CoRR	2022	DBLP DOI BibTeX RDF
30	Gianmarco Cherchi, Fabio Pellacini, Marco Attene, Marco Livesu	Interactive and Robust Mesh Booleans.	ACM Trans. Graph.	2022	DBLP DOI BibTeX RDF
30	Philip Trettner, Julius Nehring-Wirxel, Leif Kobbelt	EMBER: exact mesh booleans via efficient & robust local arrangements.	ACM Trans. Graph.	2022	DBLP DOI BibTeX RDF
30	Julius Nehring-Wirxel, Philip Trettner, Leif Kobbelt	Fast Exact Booleans for Iterated CSG using Octree-Embedded BSPs.	CoRR	2021	DBLP BibTeX RDF
30	Julius Nehring-Wirxel, Philip Trettner, Leif Kobbelt	Fast Exact Booleans for Iterated CSG using Octree-Embedded BSPs.	Comput. Aided Des.	2021	DBLP DOI BibTeX RDF
30	Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic	Superposition with First-class Booleans and Inprocessing Clausification.	CADE	2021	DBLP DOI BibTeX RDF
30	Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson	Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
30	Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson	Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans.	CoRR	2019	DBLP BibTeX RDF
30	Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi	Applying Valued Booleans in Testing of Cyber-Physical Systems.	MT@CPSWeek	2018	DBLP DOI BibTeX RDF
30	Zhoufang Xiao, Jianjun Chen 0002, Yao Zheng, Jianjing Zheng, Desheng Wang	Booleans of triangulated solids by a boundary conforming tetrahedral mesh generation approach.	Comput. Graph.	2016	DBLP DOI BibTeX RDF
30	Ryan M. Schmidt, Tyson Brochu	Adaptive Mesh Booleans.	CoRR	2016	DBLP BibTeX RDF
30	Hichem Barki, Gaël Guennebaud, Sebti Foufou	Exact, robust, and efficient regularized Booleans on general 3D meshes.	Comput. Math. Appl.	2015	DBLP DOI BibTeX RDF
30	Songgang Xu, John Keyser	Fast and robust Booleans on polyhedra.	Comput. Aided Des.	2013	DBLP DOI BibTeX RDF
30	Darko Pavic, Marcel Campen, Leif Kobbelt	Hybrid Booleans.	Comput. Graph. Forum	2010	DBLP DOI BibTeX RDF
30	Gilbert Bernstein, Don Fussell	Fast, Exact, Linear Booleans.	Comput. Graph. Forum	2009	DBLP DOI BibTeX RDF
30	Sebastian Varges	Overgenerating Referring Expressions Involving Relations and Booleans.	INLG	2004	DBLP DOI BibTeX RDF
30	Mark D. Aagaard, Thomas F. Melham, John W. O'Leary	Xs are for Trajectory Evaluation, Booleans are for Theorem Proving.	CHARME	1999	DBLP DOI BibTeX RDF
30	Gennady Antoshenkov	Dynamic Optimization of Index Scans Restricted by Booleans.	ICDE	1996	DBLP DOI BibTeX RDF
30	Hans Sluga	Frege against the Booleans.	Notre Dame J. Formal Log.	1987	DBLP DOI BibTeX RDF
18	Philippe Suter, Mirco Dotta, Viktor Kuncak	Decision procedures for algebraic data types with abstractions.	POPL	2010	DBLP DOI BibTeX RDF	data structure, decision procedure, algebraic data type, catamorphism
18	Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap	An Approach for Test Selection for EFSMs Using a Theorem Prover.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
18	Christine Tasson	Algebraic Totality, towards Completeness.	TLCA	2009	DBLP DOI BibTeX RDF
18	Naoki Kobayashi 0001	Types and Recursion Schemes for Higher-Order Program Verification.	APLAS	2009	DBLP DOI BibTeX RDF
18	Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi	A functional I/O system or, fun for freshman kids.	ICFP	2009	DBLP DOI BibTeX RDF	introductory programming
18	Mohamed Faouzi Atig, Ahmed Bouajjani	On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems.	RP	2009	DBLP DOI BibTeX RDF
18	Adriano Fagiolini, Elena Maria Visibelli, Antonio Bicchi	Logical consensus for distributed network agreement.	CDC	2008	DBLP DOI BibTeX RDF
18	Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar	A Tutorial on Satisfiability Modulo Theories.	CAV	2007	DBLP DOI BibTeX RDF
18	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Predefined Data Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
18	Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev	Automated Reasoning About Metric and Topology.	JELIA	2006	DBLP DOI BibTeX RDF
18	Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie	The Power of Linear Functions.	CSL	2006	DBLP DOI BibTeX RDF
18	Randal E. Bryant, Sanjit A. Seshia	Decision Procedures Customized for Formal Verification.	CADE	2005	DBLP DOI BibTeX RDF
18	András Kornai	Evaluating Geographic Information Retrieval.	CLEF	2005	DBLP DOI BibTeX RDF
18	Micah Adler, Neil Immerman	An n! lower bound on formula size.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	lower bounds, temporal logic, Descriptive complexity
18	Joseph M. Morris, Alexander Bunkenburg	A theory of bunches.	Acta Informatica	2001	DBLP DOI BibTeX RDF
18	Karan Singh, Richard E. Parent	Joining polyhedral objects using implicitly defined surfaces.	Vis. Comput.	2001	DBLP DOI BibTeX RDF	Implicit surfaces, Constructive solid geometry, Tesselation, Polyhedral objects, Blend surfaces
18	Herman Geuvers	Induction Is Not Derivable in Second Order Dependent Type Theory.	TLCA	2001	DBLP DOI BibTeX RDF
18	Dag Normann	Definability of Total Objects in PCF and Related Calculi.	TLCA	2001	DBLP DOI BibTeX RDF
18	Gilles Dowek	The Stratified Foundations as a Theory Modulo.	TLCA	2001	DBLP DOI BibTeX RDF
18	Ursula Wolz, Elliot B. Koffman	simpleIO: a Java package for novice interactive and graphics programming.	ITiCSE	1999	DBLP DOI BibTeX RDF	Java, user interface, interactivity, programming, CS1, graphics
18	E. Pascal Gribomont, Nachaat Salloum	System Description: Using OBDD's for the validation of Skolem verification conditions.	CADE	1999	DBLP DOI BibTeX RDF
18	Tevfik Bultan, Richard Gerber 0001, Christopher League	Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.	ISSTA	1998	DBLP DOI BibTeX RDF
18	Christian S. Collberg, Clark D. Thomborson, Douglas Low	Breaking Abstractions and Unstructuring Data Structures.	ICCL	1998	DBLP DOI BibTeX RDF	obfuscation, intellectual property protection, code transformations
18	E. Pascal Gribomont, Didier Rossetto	CAVEAT: Technique and Tool for Computer Aided VErification And Transformation.	CAV	1995	DBLP DOI BibTeX RDF
18	Stephen D. Brookes, Denis Dancanet	Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness.	POPL	1995	DBLP DOI BibTeX RDF
18	Bjørn N. Freeman-Benson, Alan Borning	Integrating Constraints with an Object-Oriented Language.	ECOOP	1992	DBLP DOI BibTeX RDF
18	Wadoud Bousdira	A Completion Procedure for Hierarchical Conditional Rewriting Systems.	ALP	1988	DBLP DOI BibTeX RDF
18	Val Tannen, Thierry Coquand	Extensional Models for Polymorphism.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
18	Charles G. Nelson, Derek C. Oppen	A Simplifier Based on Efficient Decision Algorithms.	POPL	1978	DBLP DOI BibTeX RDF