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 |
|