Search results for "backtrack search"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Inês Lynce, João P. Marques Silva	Efficient data structures for backtrack search SAT solvers.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	backtrack search, propositional satisfiability
2	Tasuku Hiraishi, Masahiro Yasugi, Seiji Umatani, Taiichi Yuasa	Backtracking-based load balancing.	PPOPP	2009	DBLP DOI BibTeX RDF	load balancing, parallel computing, backtracking, backtrack search
2	Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière	Statistical Regimes Across Constrainedness Regions.	Constraints	2005	DBLP DOI BibTeX RDF	runtime distributions, typical case analysis, phase transitions, heavy-tailed distributions, backtrack search
2	Venkata Praveen Guddeti, Berthe Y. Choueiry	Characterization of a New Restart Strategy for Randomized Backtrack Search.	CSCLP	2004	DBLP DOI BibTeX RDF
2	Assef Chmeiss, Lakhdar Sais	Constraint Satisfaction Problems: Backtrack Search Revisited.	ICTAI	2004	DBLP DOI BibTeX RDF
2	Vasco M. Manquinho, João P. Marques Silva	Satisfiability-Based Algorithms for Boolean Optimization.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	binate covering problem, non-chronological backtracking, branch-and-bound, backtrack search, propositional satisfiability
2	Lin Xu, Berthe Y. Choueiry	Improving Backtrack Search for Solving the TCSP.	CP	2003	DBLP DOI BibTeX RDF
2	Inês Lynce, João P. Marques Silva	Tuning Randomization in Backtrack Search SAT Algorithms.	CP	2002	DBLP BibTeX RDF
2	Yanjun Zhang, A. Ortynski	Efficiency of Randomized Parallel Backtrack Search.	Algorithmica	1999	DBLP DOI BibTeX RDF	Combinatorial search problem, Parallel computation, Distributed computing, Randomized algorithm, Backtrack
2	Kieran T. Herley, Andrea Pietracaprina, Geppino Pucci	Fast Deterministic Backtrack Search.	ICALP	1996	DBLP DOI BibTeX RDF
2	V. Nageshwara Rao, Vipin Kumar	On the Efficiency of Parallel Backtracking.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	parallel backtracking, backtrack search algorithms, simple backtracking, heuristicbacktracking, parallel algorithms, search problems, speedup
1	Lukas Kroc, Ashish Sabharwal, Bart Selman	Leveraging belief propagation, backtrack search, and statistics for model counting.	Annals OR	2011	DBLP DOI BibTeX RDF
1	Lukas Kroc, Ashish Sabharwal, Bart Selman	Relaxed DPLL Search for MaxSAT.	SAT	2009	DBLP DOI BibTeX RDF
1	Lukas Kroc, Bart Selman, Ashish Sabharwal	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.	ISAIM	2008	DBLP BibTeX RDF
1	Lukas Kroc, Ashish Sabharwal, Bart Selman	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.	CPAIOR	2008	DBLP DOI BibTeX RDF
1	Ruiming Li, An-Jui Shey, Michel Laudes	Incorporating logic exclusivity (LE) constraints in noise analysis using gain guided backtracking method.	ICCAD	2008	DBLP DOI BibTeX RDF
1	Madjid Khichane, Patrick Albert, Christine Solnon	Integration of ACO in a Constraint Programming Language.	ANTS Conference	2008	DBLP DOI BibTeX RDF
1	Feifei Ma, Jian Zhang 0001	Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.	PRICAI	2008	DBLP DOI BibTeX RDF
1	Inês Lynce, João P. Marques Silva	Random backtracking in backtrack search algorithms for satisfiability.	Discrete Applied Mathematics	2007	DBLP DOI BibTeX RDF
1	Philippe Jégou, Samba Ndiaye, Cyril Terrioux	Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs.	IJCAI	2007	DBLP BibTeX RDF
1	Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov	Solution and Optimization of Systems of Pseudo-Boolean Constraints.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Pseudo Boolean (PB), Max-ONE, Global Routing, Conjunctive Normal Form (CNF), Backtrack Search, Integer Linear Programming (ILP), Max-SAT, Boolean Satisfiability (SAT)
1	Malek Mouhoub, Amrudee Sukpan	Solving conditional and composite constraint satisfaction problems.	SAC	2007	DBLP DOI BibTeX RDF	local search, constraint satisfaction, arc consistency
1	Jian Gao, Jigui Sun, Yonggang Zhang	An Improved Concurrent Search Algorithm for Distributed CSPs.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	Concurrent search, Distributed CSPs, Dynamic variable ordering, Look-ahead strategy
1	Jianmin Zhang, ShengYu Shen, Sikun Li	A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction.	ICCSA	2007	DBLP DOI BibTeX RDF	Unsatisfiable core, Unit clause propagation, Binary clause resolution, Equality reduction, Local search
1	Jianmin Zhang, ShengYu Shen, Sikun Li	Finding Unsatisfiable Subformulas with Stochastic Method.	IDEAL	2007	DBLP DOI BibTeX RDF	Unsatisfiable subformula, Resolution sequence, Refutation trace, Local search, Stochastic method
1	Steven David Prestwich	Variable Dependency in Local Search: Prevention Is Better Than Cure.	SAT	2007	DBLP DOI BibTeX RDF
1	Tudor Hulubei, Barry O'Sullivan	Failure Analysis in Backtrack Search for Constraint Satisfaction.	CP	2006	DBLP DOI BibTeX RDF
1	Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov	Efficient Symmetry Breaking for Boolean Satisfiability.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	clause learning, satisfiability (SAT), symmetries, conjunctive normal form (CNF), Backtrack Search, graph automorphism
1	Lars Otten, Mattias Grönkvist, Devdatt P. Dubhashi	Randomization in Constraint Programming for Airline Planning.	CP	2006	DBLP DOI BibTeX RDF
1	Steven David Prestwich, Inês Lynce	Local Search for Unsatisfiability.	SAT	2006	DBLP DOI BibTeX RDF
1	Tudor Hulubei, Barry O'Sullivan	The Impact of Search Heuristics on Heavy-Tailed Behaviour.	Constraints	2006	DBLP DOI BibTeX RDF	Runtime distributions, Constraint satisfactions, Search heuristics
1	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
1	Tudor Hulubei, Barry O'Sullivan	Search Heuristics and Heavy-Tailed Behaviour.	CP	2005	DBLP DOI BibTeX RDF
1	Yaling Zheng, Berthe Y. Choueiry	Applying Decomposition Methods to Crossword Puzzle Problems.	CP	2005	DBLP DOI BibTeX RDF
1	Vasco M. Manquinho, João P. Marques Silva	On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization.	SAT	2005	DBLP DOI BibTeX RDF
1	Karam Gouda, Mohammed Javeed Zaki	GenMax: An Efficient Algorithm for Mining Maximal Frequent Itemsets.	Data Min. Knowl. Discov.	2005	DBLP DOI BibTeX RDF	maximal itemsets, data mining, association rules, frequent itemsets, backtracking search
1	Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva	Heuristic-Based Backtracking Relaxation for Propositional Satisfiability.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF
1	Roie Zivan, Amnon Meisels	Concurrent Backtrack Search on DisCSPs.	FLAIRS Conference	2004	DBLP BibTeX RDF
1	Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov	Exploiting structure in symmetry detection for CNF.	DAC	2004	DBLP DOI BibTeX RDF	abstract algebra, partition refinement, symmetry, backtrack search, graph automorphism, boolean satisfiability (SAT)
1	Laurent Henocque, Nicolas Prcovic	Practically Handling Some Configuration Isomorphisms.	ICTAI	2004	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu	Scalable Distributed Depth-First Search with Greedy Work Stealing.	ICTAI	2004	DBLP DOI BibTeX RDF
1	Barry O'Sullivan, Alex Ferguson, Eugene C. Freuder	Boosting Constraint Satisfaction Using Decision Trees.	ICTAI	2004	DBLP DOI BibTeX RDF
1	Wei Liu, William S. Havens	Histogram Arc Consistency as a Value Ordering Heuristic.	Canadian Conference on AI	2004	DBLP DOI BibTeX RDF
1	Tommi A. Junttila	New Canonical Representative Marking Algorithms for Place/Transition-Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Olli Kamarainen, Hani El Sakkout	Local Probing Applied to Network Routing.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière	Statistical Regimes Across Constrainedness Regions.	CP	2004	DBLP DOI BibTeX RDF
1	Alan Holland, Barry O'Callaghan, Barry O'Sullivan	Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor.	IEA/AIE	2004	DBLP DOI BibTeX RDF
1	Henry A. Kautz	Toward A Universal Inference Engine.	LPNMR	2004	DBLP DOI BibTeX RDF
1	Carla P. Gomes, David B. Shmoys	Approximations and Randomization to Boost CSP Techniques.	Annals OR	2004	DBLP DOI BibTeX RDF
1	S. Durga Bhavani, Arun K. Pujari	EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm.	Constraints	2004	DBLP DOI BibTeX RDF	temporal CSP, heuristics, consistency checking, evidential reasoning
1	Inês Lynce, João P. Marques Silva	An Overview of Backtrack Search Satisfiability Algorithms.	Ann. Math. Artif. Intell.	2003	DBLP DOI BibTeX RDF
1	Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah	Shatter: efficient symmetry-breaking for boolean satisfiability.	DAC	2003	DBLP DOI BibTeX RDF	clause learning, logic simplification, routing, symmetries, SAT, CNF, backtrack search, graph automorphism
1	Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah	FORCE: a fast and easy-to-implement variable-ordering heuristic.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	partitioning, placement, SAT, BDDs, hypergraph, CNF, pre-processing, backtrack search, variable order
1	Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire	Eliminating Redundancies in SAT Search Trees.	ICTAI	2003	DBLP DOI BibTeX RDF	Davis and Putnam´s algorithm, Boolean search and satisfiability, SAT
1	Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva	Heuristic Backtracking Algorithms for SAT.	MTV	2003	DBLP DOI BibTeX RDF
1	Alan Holland, Barry O'Callaghan, Barry O'Sullivan	A Constraint-Aided Conceptual Design Environment for Autodesk Inventor.	CP	2003	DBLP DOI BibTeX RDF
1	Mihaela Sabin, Eugene C. Freuder, Richard J. Wallace	Greater Efficiency for Conditional Constraint Satisfaction.	CP	2003	DBLP DOI BibTeX RDF
1	Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva	Heuristic-Based Backtracking for Propositional Satisfiability.	EPIA	2003	DBLP DOI BibTeX RDF
1	Elizabeth Broering, Satyanarayana V. Lokam	Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract).	SAT	2003	DBLP DOI BibTeX RDF
1	Steven David Prestwich	Local Search on SAT-encoded Colouring Problems.	SAT	2003	DBLP DOI BibTeX RDF
1	Steven David Prestwich	Negative Effects of Modeling Techniques on Search Performance.	Annals OR	2003	DBLP DOI BibTeX RDF	implied constraints, modeling, search, symmetry breaking
1	Kieran T. Herley, Andrea Pietracaprina, Geppino Pucci	Deterministic parallel backtrack search.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah	ZBDD-Based Backtrack Search SAT Solver.	IWLS	2002	DBLP BibTeX RDF
1	Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah	Satometer: how much have we searched?	DAC	2002	DBLP DOI BibTeX RDF	conflict diagnosis, search progress, search space coverage, SAT, BDDs, CNF, backtrack search, ZBDDs
1	Andreas Dandalis, Viktor K. Prasanna	Run-time performance optimization of an FPGA-based deduction engine for SAT solvers.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	reconfigurable components, reconfigurable computing, configurable, high performance, Boolean satisfiability, reconfigurable systems, Adaptive computing, performance trade-offs
1	Inês Lynce, João P. Marques Silva	The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
1	Olli Kamarainen, Hani El Sakkout	Local Probing Applied to Scheduling.	CP	2002	DBLP BibTeX RDF
1	Amy M. Beckwith, Berthe Y. Choueiry	On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems.	CP	2001	DBLP DOI BibTeX RDF
1	Hubie Chen, Carla P. Gomes, Bart Selman	Formal Models of Heavy-Tailed Behavior in Combinatorial Search.	CP	2001	DBLP DOI BibTeX RDF
1	Inês Lynce, João P. Marques Silva	Improving SAT Algorithms by Using Search Pruning Techniques.	CP	2001	DBLP DOI BibTeX RDF
1	Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings	Consistency Maintenance for ABT.	CP	2001	DBLP DOI BibTeX RDF
1	Inês Lynce, Luís Baptista, João P. Marques Silva	Towards Provably Complete Stochastic Search Algorithms for Satisfiability.	EPIA	2001	DBLP DOI BibTeX RDF
1	Andreas Dandalis, Viktor K. Prasanna, Bharani Thiruvengadam	Run-Time Performance Optimization of an FPGA-Based Deduction Engine for SAT Solvers.	FPL	2001	DBLP DOI BibTeX RDF
1	Hani El Sakkout, Mark Wallace	Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling.	Constraints	2000	DBLP DOI BibTeX RDF
1	Masashi Kiyomi, Tomomi Matsui	Integer Programming Based Algorithms for Peg Solitaire Problems.	Computers and Games	2000	DBLP DOI BibTeX RDF	peg solitaire, integer programming, backtrack searching
1	Laure Brisoux, Éric Grégoire, Lakhdar Sais	Improving Backtrack Search for SAT by Means of Redundancy.	ISMIS	1999	DBLP DOI BibTeX RDF
1	Carla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff	Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems.	AIPS	1998	DBLP BibTeX RDF
1	Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira	Prime Implicant Computation Using Satisfiability Algorithms. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	Integer Programming Algorithms, Propositional Satisfiability Algorithms, Backtrack Search Strategies, Prime Implicants
1	William S. Havens	Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	intelligent backtracking, multiagent systems, distributed constraint satisfaction, cooperative problem solving
1	Bertrand Cabon, Gérard Verfaillie, David Martinez, P. Bourret	Using Mean Field Methods for Boosting Backtrack Search in Constraint Satisfaction Problems.	ECAI	1996	DBLP BibTeX RDF
1	Robert D. Blumofe, Christopher F. Joerg, Bradley C. Kuszmaul, Charles E. Leiserson, Keith H. Randall, Yuli Zhou	Cilk: An Efficient Multithreaded Runtime System.	PPOPP	1995	DBLP DOI BibTeX RDF
1	Abhiram G. Ranade	Optimal Speedup for Backtrack Search on a Butterfly Network.	Mathematical Systems Theory	1994	DBLP DOI BibTeX RDF
1	Christos Kaklamanis, Giuseppe Persiano	Branch-and-Bound and Backtrack Search on Mesh-Connected Arrays of Processors.	Mathematical Systems Theory	1994	DBLP DOI BibTeX RDF
1	Richard M. Karp, Yanjun Zhang	Randomized Parallel Algorithms for Backtrack Search and Branch-and-Bound Computation.	J. ACM	1993	DBLP DOI BibTeX RDF	distributed parallel computation
1	Andreas Goerdt, Udo Kamps	On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search.	CSL	1993	DBLP DOI BibTeX RDF
1	Christos Kaklamanis, Giuseppe Persiano	Branch-and-Bound and Backtrack Search on Mesh-Connected Arrays of Processors.	SPAA	1992	DBLP DOI BibTeX RDF
1	Abhiram G. Ranade	Optimal Speedup for Backtrack Search on a butterfly Network.	SPAA	1991	DBLP DOI BibTeX RDF
1	Clement W. H. Lam, Larry H. Thiel	Backtrack Search with Isomorph Rejection and Consistency Check.	J. Symb. Comput.	1989	DBLP DOI BibTeX RDF
1	Sunil Arvindam, Vipin Kumar, V. Nageshwara Rao, Vineet Singh	Automatic Test Pattern Generation on Multiprocessors: A Summary of Results.	KBCS	1989	DBLP DOI BibTeX RDF
1	K. S. Natarajan	Optimizing Backtrack Search for all Solutions to Conjunctive Problems.	IJCAI	1987	DBLP BibTeX RDF
1	Eugene C. Freuder	A Sufficient Condition for Backtrack-Bounded Search	J. ACM	1985	DBLP DOI BibTeX RDF
1	James J. McGregor	Backtrack Search Algorithms and the Maximal Common Subgraph Problem.	Softw., Pract. Exper.	1982	DBLP DOI BibTeX RDF