Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
97 | Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière |
Statistical Regimes Across Constrainedness Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(4), pp. 317-337, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
runtime distributions, typical case analysis, phase transitions, heavy-tailed distributions, backtrack search |
82 | Yanjun Zhang, A. Ortynski |
Efficiency of Randomized Parallel Backtrack Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 24(1), pp. 14-28, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Combinatorial search problem, Parallel computation, Distributed computing, Randomized algorithm, Backtrack |
75 | Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessiere |
Statistical Regimes Across Constrainedness Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 32-46, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
75 | Inês Lynce, Luís Baptista, João Marques-Silva 0001 |
Towards Provably Complete Stochastic Search Algorithms for Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 363-370, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
72 | Masashi Kiyomi, Tomomi Matsui |
Integer Programming Based Algorithms for Peg Solitaire Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Games ![In: Computers and Games, Second International Conference, CG 2000, Hamamatsu, Japan, October 26-28, 2000, Revised Papers, pp. 229-240, 2000, Springer, 3-540-43080-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
peg solitaire, integer programming, backtrack searching |
60 | S. Durga Bhavani, Arun K. Pujari |
EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(3), pp. 193-218, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
temporal CSP, heuristics, consistency checking, evidential reasoning |
60 | J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski |
Backtrack-Free Search for Real-Time Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 92-106, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
60 | Eugene C. Freuder |
A Sufficient Condition for Backtrack-Bounded Search ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 32(4), pp. 755-761, October 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
60 | Klaus Meer |
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, pp. 88-102, 2002, Springer, 3-540-44233-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
algebraic constraint satisfaction problems, backtrack-free algorithms, consistency, width |
57 | Inês Lynce, João Marques-Silva 0001 |
Efficient data structures for backtrack search SAT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 43(1), pp. 137-152, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
backtrack search, propositional satisfiability |
50 | Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001 |
Heuristic Backtracking Algorithms for SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Fourth International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2003), May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA, pp. 69-74, 2003, IEEE Computer Society, 0-7695-2045-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Hyoung B. Min, William A. Rogers |
Search strategy switching: A cost model and an analysis of backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 1(2), pp. 125-137, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
search strategy switching, ATPG, fault coverage, backtracking |
47 | Rune Møller Jensen |
CLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 816, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Inês Lynce, João Marques-Silva 0001 |
Tuning Randomization in Backtrack Search SAT Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 769, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Kieran T. Herley, Andrea Pietracaprina, Geppino Pucci |
Fast Deterministic Backtrack Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 598-609, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Shu-Ching Chen, Mei-Ling Shyu, Chengcui Zhang, Rangasami L. Kashyap |
Object tracking and multimedia augmented transition network for video indexing and modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 250-257, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multimedia augmented transition network, multimedia input strings, video data modelling, video data structuring, semantic objects, unsupervised video segmentation method, SPCPE algorithm, simultaneous partitioning, class parameter estimation, overlapped objects, backtrack-chain-update-split algorithm, split segment identification, video frame updating, image segmentation, artificial intelligence, tracking, parameter estimation, multimedia databases, object tracking, video indexing, video databases, video signal processing, backtracking, spatial relations, temporal relations, multimedia database systems, multimedia browsing, segmentation method, database indexing, input modelling |
47 | M. H. Konijnenburg, Hans van der Linden, Ad J. van de Goor |
Fault (In)Dependent Cost Estimates and Conflict-Directed Backtracking to Guide Sequential Circuit Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 185-191, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
sequential circuit TPG, back-jumping, conflict-directed backtrack, three-state (tri-state) circuit TPG, ATPG, cost estimates |
47 | Somnuk Keretho, Rasiah Loganantharaj |
Reasoning about networks of temporal relations and its applications to problem solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 3(1), pp. 47-70, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
backtrack algorithms, temporal constraint propagation, constraint satisfactive problems, Temporal reasoning |
38 | Steven D. Prestwich |
Variable Dependency in Local Search: Prevention Is Better Than Cure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pp. 107-120, 2007, Springer, 978-3-540-72787-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Jean-François Baget, Sébastien Laborie |
Bi-Intervals for Backtracking on Temporal Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain, pp. 163-168, 2007, IEEE Computer Society, 978-0-7695-2836-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Tudor Hulubei, Barry O'Sullivan |
The Impact of Search Heuristics on Heavy-Tailed Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 11(2-3), pp. 159-178, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Runtime distributions, Constraint satisfactions, Search heuristics |
38 | Tudor Hulubei, Barry O'Sullivan |
Search Heuristics and Heavy-Tailed Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 328-342, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Laurent Henocque, Nicolas Prcovic |
Practically Handling Some Configuration Isomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA, pp. 90-97, 2004, IEEE Computer Society, 0-7695-2236-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Masahide Nakamura, Akito Monden, Tomoaki Itoh, Ken-ichi Matsumoto, Yuichiro Kanzaki, Hirotsugu Satoh |
Queue-Based Cost Evaluation of Mental Simulation Process in Program Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 9th IEEE International Software Metrics Symposium (METRICS 2003), 3-5 September 2003, Sydney, Australia, pp. 351-, 2003, IEEE Computer Society, 0-7695-1987-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001 |
Heuristic-Based Backtracking for Propositional Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings, pp. 116-130, 2003, Springer, 3-540-20589-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Hubie Chen, Carla P. Gomes, Bart Selman |
Formal Models of Heavy-Tailed Behavior in Combinatorial Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 408-421, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Assef Chmeiss, Lakhdar Sais |
Constraint Satisfaction Problems: Backtrack Search Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA, pp. 252-257, 2004, IEEE Computer Society, 0-7695-2236-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Venkata Praveen Guddeti, Berthe Y. Choueiry |
Characterization of a New Restart Strategy for Randomized Backtrack Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers, pp. 56-70, 2004, Springer, 3-540-25176-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Lin Xu, Berthe Y. Choueiry |
Improving Backtrack Search for Solving the TCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 754-768, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Pierre Berlandier |
A Performance Evaluation of Backtrack-Bounded Search Methods for N-ary Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 375-384, 1993, Springer, 3-540-56804-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
35 | Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr. |
Backtrack Searching in the Presence of Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988, Proceedings, pp. 99-110, 1988, Springer, 3-540-51083-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
35 | Alfs T. Berztiss |
A Backtrack Procedure for Isomorphism of Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 20(3), pp. 365-377, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
35 | Tasuku Hiraishi, Masahiro Yasugi, Seiji Umatani, Taiichi Yuasa |
Backtracking-based load balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009, pp. 55-64, 2009, ACM, 978-1-60558-397-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
load balancing, parallel computing, backtracking, backtrack search |
35 | Vasco M. Manquinho, João P. Marques Silva |
Satisfiability-Based Algorithms for Boolean Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 40(3-4), pp. 353-372, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
binate covering problem, non-chronological backtracking, branch-and-bound, backtrack search, propositional satisfiability |
35 | Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah |
Satometer: how much have we searched? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 737-742, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
conflict diagnosis, search progress, search space coverage, SAT, BDDs, CNF, backtrack search, ZBDDs |
35 | Maria Cristina Pinotti, Vincenzo A. Crupi, Sajal K. Das 0001 |
A Parallel Solution to the Extended Set Union Problem with Unlimited Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 182-186, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parallel solution, extended set union problem, unlimited backtracking, Find, SetUnion, MultiUnion, k-Parallel Union Find trees, constant parallel time, optimal work, constant-time performance, parallel algorithms, computational complexity, data structure, parallel machines, Restore, backtracking, Backtrack, tree data structures, tree searching, random-access storage, dynamic partition, Union, EREW-PRAM model |
35 | V. Nageshwara Rao, Vipin Kumar 0001 |
On the Efficiency of Parallel Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(4), pp. 427-437, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
parallel backtracking, backtrack search algorithms, simple backtracking, heuristicbacktracking, parallel algorithms, search problems, speedup |
25 | Feifei Ma, Jian Zhang 0001 |
Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings, pp. 247-259, 2008, Springer, 978-3-540-89196-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Steven D. Prestwich, Inês Lynce |
Local Search for Unsatisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings, pp. 283-296, 2006, Springer, 3-540-37206-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001 |
Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 35(1-3), pp. 3-24, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Yaling Zheng, Berthe Y. Choueiry |
Applying Decomposition Methods to Crossword Puzzle Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 874, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Carla P. Gomes, David B. Shmoys |
Approximations and Randomization to Boost CSP Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 130(1-4), pp. 117-141, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Olli Kamarainen, Hani El Sakkout |
Local Probing Applied to Network Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings, pp. 173-189, 2004, Springer, 3-540-21836-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Vincent Danos, Jean Krivine |
Reversible Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp. 292-307, 2004, Springer, 3-540-22940-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Steven D. Prestwich |
Negative Effects of Modeling Techniques on Search Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 118(1-4), pp. 137-150, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
implied constraints, modeling, search, symmetry breaking |
25 | Elizabeth Broering, Satyanarayana V. Lokam |
Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pp. 162-171, 2003, Springer, 3-540-20851-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Craig S. Miller |
Modeling Web Navigation: Methods and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITWP ![In: Intelligent Techniques for Web Personalization, IJCAI 2003 Workshop, ITWP 2003, Acapulco, Mexico, August 11, 2003, Revised Selected Papers, pp. 37-52, 2003, Springer, 3-540-29846-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Peter Baumgartner 0001, Norbert Eisinger, Ulrich Furbach |
A Confluent Connection Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, pp. 329-343, 1999, Springer, 3-540-66222-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Peter van Beek, Rina Dechter |
Constraint tightness and looseness versus local and global consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 44(4), pp. 549-566, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
constraint satisfaction problems, relations, local consistency, constraint networks, constraint-based reasoning |
22 | Lianbo Ma, Yuee Zhou, Jianlun Ma, Guo Yu 0001, Qing Li 0006 |
One-Step Forward and Backtrack: Overcoming Zig-Zagging in Loss-Aware Quantization Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.16760, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Lianbo Ma, Yuee Zhou, Jianlun Ma, Guo Yu 0001, Qing Li 0006 |
One-Step Forward and Backtrack: Overcoming Zig-Zagging in Loss-Aware Quantization Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 14246-14254, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Dongwook Lee, Wonjun Choi, Seohyung Lee, ByungIn Yoo, Eunho Yang, Seongju Hwang |
BackTrack: Robust template update via Backward Tracking of candidate template. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.10604, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Gilles Audemard, Christophe Lecoutre, Charles Prud'homme |
Guiding Backtrack Search by Tracking Variables During Constraint Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 9:1-9:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Cristian Alb |
Backtrack Tie-Breaking for Decision Trees: A Note on Deodata Predictors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.03865, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
22 | Francesca Arrigo, Desmond J. Higham, Vanni Noferini |
A Theory for Backtrack-Downweighted Walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 42(3), pp. 1229-1247, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Yafan Dong, Runhua Tan, Peng Zhang, Qingjin Peng, Peng Shao |
Product redesign using functional backtrack with digital twin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Informatics ![In: Adv. Eng. Informatics 49, pp. 101361, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Le Li, Shigeyuki Sato 0001, Qiheng Liu, Kenjiro Taura |
Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 35th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2021, Portland, OR, USA, May 17-21, 2021, pp. 693-702, 2021, IEEE, 978-1-6654-4066-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Chang Xiao, Karl Bayer, Changxi Zheng, Shree K. Nayar |
BackTrack: 2D Back-of-device Interaction Through Front Touchscreen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: CHI '21: CHI Conference on Human Factors in Computing Systems, Virtual Event / Yokohama, Japan, May 8-13, 2021, pp. 7:1-7:8, 2021, ACM, 978-1-4503-8096-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Svetlana Topalova, Stela Zhelezova |
Backtrack Search for Parallelisms of Projective Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOCA ![In: Combinatorial Algorithms - 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5-7, 2021, Proceedings, pp. 544-557, 2021, Springer, 978-3-030-79986-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Shin-Guang Chen, Yi-Kuei Lin |
A permutation-and-backtrack approach for reliability evaluation in multistate information networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 373, pp. 125024, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Francesca Arrigo, Desmond J. Higham, Vanni Noferini |
A Theory for Backtrack-Downweighted Walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.02999, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Stephan Kunne, Lorenzo Maggi, Johanne Cohen, Xinneng Xu |
Anytime Backtrack Unimodal Bandits and Applications to Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: 2020 IFIP Networking Conference, Networking 2020, Paris, France, June 22-26, 2020, pp. 82-90, 2020, IEEE, 978-3-903176-28-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Randy Hickey, Fahiem Bacchus |
Trail Saving on Backtrack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings, pp. 46-61, 2020, Springer, 978-3-030-51824-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Wen Sun 0005, Jin-Kao Hao, Alexandre Caminada |
Iterated backtrack removal search for finding k-vertex-critical subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 25(4-5), pp. 565-590, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Matt Knutson |
Backtrack, Pause, Rewind, Reset: Queering Chrononormativity in Gaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Game Stud. ![In: Game Stud. 18(3), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Shingo Okuno |
Parallelization of Graph Mining using Backtrack Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
22 | Sherif Abdelwahab, Bechir Hamdaoui, Mohsen Guizani, Taieb Znati |
Efficient Virtual Network Embedding With Backtrack Avoidance for Dynamic Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 15(4), pp. 2669-2683, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Artur Menc, Dominik Pajak, Przemyslaw Uznanski |
On the power of one bit: How to explore a graph when you cannot backtrack? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.05545, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
22 | Zoltán Ádám Mann, Tamás Szép |
Accelerating backtrack search with a best-first-search strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 24(4), pp. 901-916, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Petar Popovski |
Delayed Channel State Information: Incremental Redundancy with Backtrack Retransmission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.6846, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Qiming Chen, Meichun Hsu, Malú Castellanos |
Backtrack-Based and Window-Oriented Optimistic Failure Recovery in Distributed Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIRTE ![In: Enabling Real-Time Business Intelligence - International Workshops, BIRTE 2013, Riva del Garda, Italy, August 26, 2013, and BIRTE 2014, Hangzhou, China, September 1, 2014, Revised Selected Papers, pp. 38-64, 2014, Springer, 978-3-662-46838-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Petar Popovski |
Delayed Channel State Information: Incremental redundancy with backtrack retransmission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: IEEE International Conference on Communications, ICC 2014, Sydney, Australia, June 10-14, 2014, pp. 2045-2051, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Sherif Abdelwahab, Bechir Hamdaoui, Mohsen Guizani |
BIRD-VNE: Backtrack-avoidance virtual network embedding in polynomial time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: IEEE Global Communications Conference, GLOBECOM 2014, Austin, TX, USA, December 8-12, 2014, pp. 4983-4989, 2014, IEEE, 978-1-4799-3512-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Homero Mauricio Schneider |
A Backtrack-free Process for Deriving Product Family Members. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Configuration Workshop ![In: Proceedings of the 16th International Configuration Workshop, Novi Sad, Serbia, September 25-26, 2014., pp. 23-30, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Takahide Uemori, Eitaro Kohno, Yoshiaki Kakuda |
Experimental evaluation of the effects with backtrack search and notification messages in the node-disjoint multipath scheme for secure dispersed data transfer method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMU ![In: Seventh International Conference on Mobile Computing and Ubiquitous Networking, ICMU 2014, Singapore, January 6-8, 2014, pp. 89-90, 2014, IEEE Computer Society, 978-1-4799-2231-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Zoltán Ádám Mann, Aniko Szajko |
Average-case complexity of backtrack search for coloring sparse random graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 79(8), pp. 1287-1301, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Qiming Chen, Meichun Hsu, Malú Castellanos |
Backtrack-Based Failure Recovery in Distributed Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2013, Honolulu, Hawaii, USA, 1-3 July, 2013, pp. 261-266, 2013, IEEE Computer Society, 978-0-7695-5005-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Chul-Ho Lee, Xin Xu, Do Young Eun |
Beyond Random Walk and Metropolis-Hastings Samplers: Why You Should Not Backtrack for Unbiased Graph Sampling ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.4140, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
22 | Yungho Choi, Neungsoo Park |
Evaluation of the Image Backtrack-Based Fast Direct Mode Decision Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Syst. ![In: J. Inf. Process. Syst. 8(4), pp. 685-692, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Chul-Ho Lee, Xin Xu, Do Young Eun |
Beyond random walk and metropolis-hastings samplers: why you should not backtrack for unbiased graph sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS '12, London, United Kingdom, June 11-15, 2012, pp. 319-330, 2012, ACM, 978-1-4503-1097-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Leveraging belief propagation, backtrack search, and statistics for model counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 184(1), pp. 209-231, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Yoshitaka Sakurai, Kouhei Takada, Natsuki Tsukamoto, Takashi Onoyama, Rainer Knauf, Setsuo Tsuruta |
A simple optimization method based on Backtrack and GA for delivery schedule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2011, New Orleans, LA, USA, 5-8 June, 2011, pp. 2790-2797, 2011, IEEE, 978-1-4244-7834-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Yoshitaka Sakurai, Kouhei Takada, Natsuki Tsukamoto, Takashi Onoyama, Rainer Knauf, Setsuo Tsuruta |
Ensuring Diversity in a Backtrack and GA Optimization Method for Delivery Schedule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SITIS ![In: Seventh International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2011, Dijon, France, November 28 - December 1, 2011, pp. 201-208, 2011, IEEE Computer Society, 978-0-7695-4635-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Yoshitaka Sakurai, Kouhei Takada, Natsuki Tsukamoto, Takashi Onoyama, Rainer Knauf, Setsuo Tsuruta |
Backtrack and Restart Genetic Algorithm to Optimize Delivery Schedule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SITIS ![In: Sixth International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2010, Kuala Lumpur, Malaysia, December 15-18, 2010, pp. 85-92, 2010, IEEE Computer Society, 978-0-7695-4319-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Jon Carmelo Russo, Keith G. Erickson, James K. Beard |
Costas array search technique that maximizes backtrack and symmetry exploitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISS ![In: 44th Annual Conference on Information Sciences and Systems, CISS 2010, Princeton, NJ, USA, 17-19 March 2010, pp. 1-8, 2010, IEEE, 978-1-4244-7416-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski |
A Space-Efficient Backtrack-Free Representation for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 17(4), pp. 703-730, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Liang Li, Tian Liu 0001, Ke Xu 0001 |
Exact phase transition of backtrack-free search with implications on the power of greedy algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0811.3055, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
22 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings, pp. 127-141, 2008, Springer, 978-3-540-68154-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Lukas Kroc, Bart Selman, Ashish Sabharwal |
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
22 | Inês Lynce, João Marques-Silva 0001 |
Random backtracking in backtrack search algorithms for satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 155(12), pp. 1604-1612, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Vibhav Gogate, Rina Dechter |
Approximate Counting by Sampling the Backtrack-free Search Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada, pp. 198-203, 2007, AAAI Press, 978-1-57735-323-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
22 | Philippe Jégou, Samba Ndiaye, Cyril Terrioux |
Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 112-117, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
22 | Tudor Hulubei, Barry O'Sullivan |
Failure Analysis in Backtrack Search for Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, pp. 731-735, 2006, Springer, 3-540-46267-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Ashraf M. Abdelbar, Mostafa A. El-Hemaly, Emad A. M. Andrews, Donald C. Wunsch II |
Recurrent neural networks with backtrack-points and negative reinforcement applied to cost-based abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 18(5-6), pp. 755-764, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Simona Cocco, Rémi Monasson |
Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 320(2-3), pp. 345-372, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Simona Cocco, Rémi Monasson |
Heuristic average-case analysis of the backtrack resolution of random 3-Satisfiability instances ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.DS/0401011, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | Roie Zivan, Amnon Meisels |
Concurrent Backtrack Search on DisCSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, Miami Beach, Florida, USA, pp. 776-782, 2004, AAAI Press, 1-57735-201-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | Inês Lynce, João P. Marques Silva |
An Overview of Backtrack Search Satisfiability Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 37(3), pp. 307-326, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Kieran T. Herley, Andrea Pietracaprina, Geppino Pucci |
Deterministic parallel backtrack search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 270(1-2), pp. 309-324, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah |
ZBDD-Based Backtrack Search SAT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWLS ![In: 11th IEEE/ACM International Workshop on Logic & Synthesis, IWLS 2002, June 4-7, 2002, New Orleans, Louisiana, USA., pp. 131-136, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|