Search results for "backjumping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
83	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability.	AI*IA	2001	DBLP DOI BibTeX RDF
73	Helen Xie, Philip Henderson, Joseph Neelamkavil, Jingxin Li	A Systematic Search Strategy for Product Configuration.	IEA/AIE	2004	DBLP DOI BibTeX RDF	numeric variables, n-ary constraints, dependent variables, backjumping, Constraint satisfaction, variable ordering, product configuration
64	Fahiem Bacchus, Kostas Stergiou 0001	Solution Directed Backjumping for QCSP.	CP	2007	DBLP DOI BibTeX RDF
64	Viet Nguyen, Djamila Sam-Haroud, Boi Faltings	Dynamic Distributed BackJumping.	CSCLP	2004	DBLP DOI BibTeX RDF	Distributed Systems, Multi-Agent Systems, Search, Constraint Satisfaction
55	Christopher Béatrix	Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX. (Justifications in rule-based ASP computations : application to backjumping in the ASPeRiX solver).		2016	RDF
46	Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone	Enhancing DLV instantiator by backjumping techniques.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27
46	Ullrich Hustadt, Renate A. Schmidt	Simplification and Backjumping in Modal Tableau.	TABLEAUX	1998	DBLP DOI BibTeX RDF
37	Henry Müller, Stefan Jähnichen	GOOSE - A Generic Object-Oriented Search Environment.	CP	2005	DBLP DOI BibTeX RDF
37	William S. Havens, Bistra N. Dilkina	A Hybrid Schema for Systematic Local Search.	Canadian AI	2004	DBLP DOI BibTeX RDF
37	Ian Horrocks 0001, Peter F. Patel-Schneider	FaCT and DLP.	TABLEAUX	1998	DBLP DOI BibTeX RDF
27	Wlodzimierz Drabent	Implementing backjumping by means of exception handling.	CoRR	2023	DBLP DOI BibTeX RDF
27	Wlodzimierz Drabent	Implementing Backjumping by Means of Exception Handling.	Theory Pract. Log. Program.	2023	DBLP DOI BibTeX RDF
27	Yoonchang Sung, Zizhao Wang, Peter Stone	Learning to Correct Mistakes: Backjumping in Long-Horizon Task and Motion Planning.	CoRR	2022	DBLP DOI BibTeX RDF
27	Yoonchang Sung, Zizhao Wang, Peter Stone	Learning to Correct Mistakes: Backjumping in Long-Horizon Task and Motion Planning.	CoRL	2022	DBLP BibTeX RDF
27	Ed Robbins 0001, Andy King, Jacob M. Howe	Backjumping is Exception Handling.	Theory Pract. Log. Program.	2021	DBLP DOI BibTeX RDF
27	Wlodzimierz Drabent	Implementing backjumping by throw/1 and catch/3 of Prolog.	CoRR	2020	DBLP BibTeX RDF
27	Edward Robbins 0001, Andy King, Jacob M. Howe	Backjumping is Exception Handling.	CoRR	2020	DBLP BibTeX RDF
27	Ciaran McCreesh, Patrick Prosser	A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs.	CP	2015	DBLP DOI BibTeX RDF
27	Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet	Constraint-based BMC: a backjumping strategy.	Int. J. Softw. Tools Technol. Transf.	2014	DBLP DOI BibTeX RDF
27	Andreas Steigmiller, Thorsten Liebig, Birte Glimm	Extended Caching, Backjumping and Merging for Expressive Description Logics.	IJCAR	2012	DBLP DOI BibTeX RDF
27	Andreas Steigmiller, Thorsten Liebig, Birte Glimm	Extended Caching and Backjumping for Expressive Description Logics.	Description Logics	2012	DBLP BibTeX RDF
27	Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli	Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.	J. Electron. Test.	2011	DBLP DOI BibTeX RDF
27	Xinguang Chen, Peter van Beek	Conflict-Directed Backjumping Revisited	CoRR	2011	DBLP BibTeX RDF
27	Yuliya Lierler	Abstract answer set solvers with backjumping and learning.	Theory Pract. Log. Program.	2011	DBLP DOI BibTeX RDF
27	Roie Zivan, Amnon Meisels	Conflict Directed Backjumping for Max-CSPs.	IJCAI	2007	DBLP BibTeX RDF
27	Francesco Ricca, Wolfgang Faber 0001, Nicola Leone	A backjumping technique for Disjunctive Logic Programming.	AI Commun.	2006	DBLP BibTeX RDF
27	Nicola Leone, Simona Perri, Francesco Scarcello	BackJumping techniques for rules instantiation in the DLV system.	NMR	2004	DBLP BibTeX RDF
27	Robert P. Goldman, Michael J. S. Pelican, David J. Musliner	Guiding Planner Backjumping Using Verifier Traces.	ICAPS	2004	DBLP BibTeX RDF
27	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	Backjumping for Quantified Boolean Logic satisfiability.	Artif. Intell.	2003	DBLP DOI BibTeX RDF
27	Simona Perri, Francesco Scarcello	Advanced Backjumping Techniques for Rule Instantiations.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
27	Bernd S. W. Schröder	Determining if (FC-) (conflict-directed) backjumping visits a given node is NP-hard.	Artif. Intell.	2001	DBLP DOI BibTeX RDF
27	Xinguang Chen, Peter van Beek	Conflict-Directed Backjumping Revisited.	J. Artif. Intell. Res.	2001	DBLP DOI BibTeX RDF
27	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	Backjumping for Quantified Boolean Logic Satisfiability.	IJCAI	2001	DBLP BibTeX RDF
27	D. K. Gupta 0001	Dynamic variable ordering in graph based backjumping algorithms for csps.	Int. J. Comput. Math.	2000	DBLP DOI BibTeX RDF
27	Ujjwal Chowdhury, Dharmendra Kumar Gupta	Modified Backjumping Algorithms for Solving Constraint Satisfaction Problems.	Int. J. Pattern Recognit. Artif. Intell.	1999	DBLP DOI BibTeX RDF
27	Zineb Habbas, Francine Herrmann, Pierre-Paul Mérel, Daniel Singer	Load Balancing strategies for Parallel Forward Search Algorithm with Conflict Based Backjumping.	ICPADS	1997	DBLP DOI BibTeX RDF
27	Angelo Oddi	A Weakly Backjumping Strategy to Solve Hard Scheduling Problems.	AI*IA	1997	DBLP DOI BibTeX RDF
27	Roland Steiner, Hermann Kaindl, Gerhard Kainz	Backjumping in State-Space Search.	ECAI	1996	DBLP BibTeX RDF
27	Alvin C. M. Kwan, Edward P. K. Tsang	Minimal Forward Checking with Backmarking and Conflict-Directed Backjumping.	ICTAI	1996	DBLP DOI BibTeX RDF
27	Thomas Schiex, Gérard Verfaillie	Stubborness: A Possible Enhancement for Backjumping and Nogood Recording.	ECAI	1994	DBLP BibTeX RDF
27	James M. Conrad, Jerry Mathew	A Backjumping Search Algorithm for a Distributed Memory Multicomputer.	ICPP (3)	1994	DBLP DOI BibTeX RDF
27	Rina Dechter	Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition.	Artif. Intell.	1990	DBLP DOI BibTeX RDF
18	Moshe Y. Vardi	Symbolic Techniques in Propositional Satisfiability Solving.	SAT	2009	DBLP DOI BibTeX RDF
18	Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates.	SAT	2009	DBLP DOI BibTeX RDF
18	David C. Uthus, Patricia J. Riddle, Hans W. Guesgen	An ant colony optimization approach to the traveling tournament problem.	GECCO	2009	DBLP DOI BibTeX RDF	constraint processing, traveling tournament problem, ant colony optimization
18	Thibaut Feydy, Peter J. Stuckey	Lazy Clause Generation Reengineered.	CP	2009	DBLP DOI BibTeX RDF
18	Louise Leenen, Aditya Ghose	Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems.	PRICAI	2008	DBLP DOI BibTeX RDF
18	Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris	A CLP-Based Functional ATPG for Extended FSMs.	MTV	2007	DBLP DOI BibTeX RDF
18	Federico Heras, Javier Larrosa, Albert Oliveras	MiniMaxSat: A New Weighted Max-SAT Solver.	SAT	2007	DBLP DOI BibTeX RDF
18	Sava Krstic, Amit Goel	Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL.	FroCoS	2007	DBLP DOI BibTeX RDF
18	Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli	Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T).	J. ACM	2006	DBLP DOI BibTeX RDF	SAT solvers, Satisfiability Modulo Theories
18	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli	FATE: a Functional ATPG to Traverse Unstabilized EFSMs.	ETS	2006	DBLP DOI BibTeX RDF
18	Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels	Retroactive Ordering for Dynamic Backtracking.	CP	2006	DBLP DOI BibTeX RDF
18	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani	MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
18	Petr Vilím	Computing Explanations for the Unary Resource Constraint.	CPAIOR	2005	DBLP DOI BibTeX RDF
18	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani	An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.	TACAS	2005	DBLP DOI BibTeX RDF
18	Ismel Brito	Synchronous, Asynchronous and Hybrid Algorithms for DisCSP.	CP	2004	DBLP DOI BibTeX RDF
18	Inês Lynce, João Marques-Silva 0001	The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
18	Narendra Jussien, Romuald Debruyne, Patrice Boizumault	Maintaining Arc-Consistency within Dynamic Backtracking.	CP	2000	DBLP DOI BibTeX RDF
18	Amnon Meisels, Natalia Lusternik	Experiments on Networks of Employee Timetabling Problems.	PATAT	1997	DBLP DOI BibTeX RDF	Employee Timetabling, Experimental CSP, Non binary constraints, Constraint Networks
18	Wanlin Pang, Scott D. Goodwin	Constraint-Directed Backtracking.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF