Search results for "depth-bounded"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Sanjay Jain 0001, Arun Sharma 0001	Mind Change Complexity of Learning Logic Programs.	EuroCOLT	1999	DBLP DOI BibTeX RDF
29	Roy Dyckhoff, Stéphane Lengrand	LJQ: A Strongly Focused Calculus for Intuitionistic Logic.	CiE	2006	DBLP DOI BibTeX RDF	purification, call-by-value semantics, depth-bounded, guarded logic, Sequent calculus, focused
21	Roy Dyckhoff, Delia Kesner, Stéphane Lengrand	Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic.	IJCAR	2006	DBLP DOI BibTeX RDF
21	Marshall Ball, Dana Dachman-Soled, Mukul Kulkarni, Tal Malkin	Non-Malleable Codes for Bounded Depth, Bounded Fan-in Circuits.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
21	Marshall Ball, Dana Dachman-Soled, Mukul Kulkarni, Tal Malkin	Non-malleable Codes for Bounded Depth, Bounded Fan-In Circuits.	EUROCRYPT (2)	2016	DBLP DOI BibTeX RDF
21	Ian Parberry	An Improved Simulation of Space and Reversal Bounded Deterministic Turing Machines by Width and Depth Bounded Uniform Circuits.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
20	Armand Prieditis	Depth-First Branch-and-Bound vs. Depth-Bounded IDA*.	Comput. Intell.	1998	DBLP DOI BibTeX RDF
19	Madanlal Musuvathi, Shaz Qadeer	Iterative context bounding for systematic testing of multithreaded programs.	PLDI	2007	DBLP DOI BibTeX RDF	context-bounding, model checking, concurrency, software testing, multithreading, partial-order reduction, shared-memory programs
15	Roman Barták, Hana Rudová	Limited assignments: a new cutoff strategy for incomplete depth-first search.	SAC	2005	DBLP DOI BibTeX RDF	search, constraint satisfaction
14	Farid Arthaud, Martin C. Rinard	Depth-bounded epistemic logic.	CoRR	2023	DBLP DOI BibTeX RDF
14	Farid Arthaud, Martin C. Rinard	Depth-bounded Epistemic Logic.	TARK	2023	DBLP DOI BibTeX RDF
14	Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic	Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata.	CoRR	2023	DBLP DOI BibTeX RDF
14	Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic	Depth-bounded fuzzy simulations and bisimulations between fuzzy automata.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
14	Qipeng Liu 0001	Depth-Bounded Quantum Cryptography with Applications to One-Time Memory and More.	ITCS	2023	DBLP DOI BibTeX RDF
14	A. R. Balasubramanian	Complexity of Coverability in Depth-Bounded Processes.	CONCUR	2022	DBLP DOI BibTeX RDF
14	Tomoyuki Yamakami	Nondeterministic Auxiliary Depth-Bounded Storage Automata and Semi-Unbounded Fan-In Cascading Circuits - (Extended Abstract).	COCOON	2022	DBLP DOI BibTeX RDF
14	Miguel A. Larotonda, Giuseppe Primiero	A Depth-Bounded Semantics for Becoming Informed.	SEFM Workshops	2022	DBLP DOI BibTeX RDF
14	Marcello D'Agostino, Costanza Larese, Sanjay Modgil	Towards Depth-bounded Natural Deduction for Classical First-order Logic.	FLAP	2021	DBLP BibTeX RDF
14	Lifeng Jin, Lane Schwartz, Finale Doshi-Velez, Timothy A. Miller, William Schuler	Depth-Bounded Statistical PCFG Induction as a Model of Human Grammar Acquisition.	Comput. Linguistics	2021	DBLP DOI BibTeX RDF
14	Fabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero	Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo.	KR	2021	DBLP DOI BibTeX RDF
14	Paolo Baldi, Hykel Hosni	Depth-bounded Belief functions.	Int. J. Approx. Reason.	2020	DBLP DOI BibTeX RDF
14	Ghasem Pasandi, Massoud Pedram	Depth-bounded Graph Partitioning Algorithm and Dual Clocking Method for Realization of Superconducting SFQ Circuits.	ACM J. Emerg. Technol. Comput. Syst.	2020	DBLP DOI BibTeX RDF
14	Paolo Baldi, Marcello D'Agostino, Hykel Hosni	Depth-Bounded Approximations of Probability.	IPMU (3)	2020	DBLP DOI BibTeX RDF
14	Giorgio Cignarale, Giuseppe Primiero	A Multi-Agent Depth Bounded Boolean Logic.	SEFM	2020	DBLP DOI BibTeX RDF
14	Lifeng Jin, Finale Doshi-Velez, Timothy A. Miller, William Schuler, Lane Schwartz	Unsupervised Grammar Induction with Depth-bounded PCFG.	Trans. Assoc. Comput. Linguistics	2018	DBLP DOI BibTeX RDF
14	Lifeng Jin, Finale Doshi-Velez, Timothy A. Miller, William Schuler, Lane Schwartz	Unsupervised Grammar Induction with Depth-bounded PCFG.	CoRR	2018	DBLP BibTeX RDF
14	Kord Eickmeyer, Michael Elberfeld, Frederik Harwath	Succinctness of Order-Invariant Logics on Depth-Bounded Structures.	ACM Trans. Comput. Log.	2017	DBLP DOI BibTeX RDF
14	Emanuele D'Osualdo, Luke Ong, Alwen Tiu	Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes.	CSF	2017	DBLP DOI BibTeX RDF
14	Kord Eickmeyer, Michael Elberfeld, Frederik Harwath	Succinctness of Order-Invariant Logics on Depth-Bounded Structures.	CoRR	2016	DBLP BibTeX RDF
14	Thierry Moisan, Claude-Guy Quimper, Jonathan Gaudreault	Parallel Depth-Bounded Discrepancy Search.	CPAIOR	2014	DBLP DOI BibTeX RDF
14	Kord Eickmeyer, Michael Elberfeld, Frederik Harwath	Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures.	MFCS (1)	2014	DBLP DOI BibTeX RDF
14	Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay	Semantics and proof-theory of depth bounded Boolean logics.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
14	Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey	A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages.	CoRR	2013	DBLP BibTeX RDF
14	Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan	Computing Role-Depth Bounded Generalizations in the Description Logic.	KI	2013	DBLP DOI BibTeX RDF
14	Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan	Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals.	Description Logics	2013	DBLP BibTeX RDF
14	Fernando Rosa-Velardo, María Martos-Salgado	Multiset rewriting for the verification of depth-bounded processes with name binding.	Inf. Comput.	2012	DBLP DOI BibTeX RDF
14	Andreas Ecke, Anni-Yasmin Turhan	Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+.	OWLED	2012	DBLP BibTeX RDF
14	Andreas Ecke, Anni-Yasmin Turhan	Role-depth Bounded Least Common Subsumers for EL+ and ELI.	Description Logics	2012	DBLP BibTeX RDF
14	Asma Lahimer, Pierre Lopez, Mohamed Haouari	Climbing depth-bounded adjacent discrepancy search for solving hybrid flow shop scheduling problems with multiprocessor tasks	CoRR	2011	DBLP BibTeX RDF
14	Abir Ben Hmida, Mohamed Haouari, Marie-José Huguet, Pierre Lopez	Solving two-stage hybrid flow shop using climbing depth-bounded discrepancy search.	Comput. Ind. Eng.	2011	DBLP DOI BibTeX RDF
14	Asma Lahimer, Pierre Lopez, Mohamed Haouari	Climbing Depth-Bounded Adjacent Discrepancy Search for Solving Hybrid Flow Shop Scheduling Problems with Multiprocessor Tasks.	CPAIOR	2011	DBLP DOI BibTeX RDF
14	Abhishek Udupa, Ankush Desai, Sriram K. Rajamani	Depth Bounded Explicit-State Model Checking.	SPIN	2011	DBLP DOI BibTeX RDF
14	Thomas Wies, Damien Zufferey, Thomas A. Henzinger	Forward Analysis of Depth-Bounded Processes.	FoSSaCS	2010	DBLP DOI BibTeX RDF
14	Anni-Yasmin Turhan, Rafael Peñaloza	Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes.	Description Logics	2010	DBLP BibTeX RDF
14	Weirong Jiang, Viktor K. Prasanna	Towards Green Routers: Depth-Bounded Multi-Pipeline Architecture for Power-Efficient IP Lookup.	IPCCC	2008	DBLP DOI BibTeX RDF
14	Toby Walsh	Depth-bounded Discrepancy Search.	IJCAI	1997	DBLP BibTeX RDF
14	Jan Chomicki	Depth-Bounded Bottom-Up Evaluation of Logic Program.	J. Log. Program.	1995	DBLP DOI BibTeX RDF
14	Hiroki Arimura	Completeness of Depth-bounded Resolution for Weakly Reducing Programs.	Software Science and Engineering	1991	DBLP DOI BibTeX RDF
14	José L. Balcázar	Adaptive Logspace and Depth-Bounded Reducibilities.	SCT	1991	DBLP DOI BibTeX RDF
14	H. Raymond Strong	Depth-Bounded Computation.	J. Comput. Syst. Sci.	1970	DBLP DOI BibTeX RDF
11	John Harrison 0001	Optimizing Proof Search in Model Elimination.	CADE	1996	DBLP DOI BibTeX RDF
7	Jiong Guo	Fixed-Parameter Algorithms for Graph-Modeled Date Clustering.	TAMC	2009	DBLP DOI BibTeX RDF
7	Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann	A More Relaxed Model for Graph-Based Data Clustering: s-Plex Editing.	AAIM	2009	DBLP DOI BibTeX RDF
7	Wafa Karoui, Marie-José Huguet, Pierre Lopez, Wady Naanaa	YIELDS: A Yet Improved Limited Discrepancy Search for CSPs.	CPAIOR	2007	DBLP DOI BibTeX RDF
7	Michael Dom, Jiong Guo, Falk Hüffner, Rolf Niedermeier, Anke Truß	Fixed-Parameter Tractability Results for Feedback Set Problems in Tournaments.	CIAC	2006	DBLP DOI BibTeX RDF
7	Michael D. Jones, Jacob Sorber	Parallel search for LTL violations.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Semiformal verification, Explicit model checking, Biologically inspired algorithms
7	Tristan Cazenave	Admissible Moves in Two-Player Games.	SARA	2002	DBLP DOI BibTeX RDF
7	V. Vinay	Hierarchies of Circuit Classes that are Closed under Complement.	CCC	1996	DBLP DOI BibTeX RDF	Circuits, Complexity Theory, Complementation