-
3
-
-
67651126884
-
-
Barcelogic for SMT. www.lsi.upc.es/oliveras/bclt-main.html. Accessed 07 February.
-
Barcelogic for SMT
-
-
-
6
-
-
35248881926
-
Propagation redundancy in redundant modelling
-
F. Rossi (Ed.) LNCS
-
Choi, C.W., Lee, J.H.M., & Stuckey, P.J. (2003). Propagation redundancy in redundant modelling. In F. Rossi (Ed.), Proceedings of the ninth international conference on principles and practices of constraint programming (CP2003). LNCS (Vol. 2833, pp. 229-243).
-
(2003)
Proceedings of the Ninth International Conference on Principles and Practices of Constraint Programming (CP2003)
, vol.2833
, pp. 229-243
-
-
Choi, C.W.1
Lee, J.H.M.2
Stuckey, P.J.3
-
7
-
-
34548399753
-
Removing propagation redundant constraints in redundant modeling
-
article 23
-
Choi, C.W., Lee, J.H.M., & Stuckey, P.J. (2007). Removing propagation redundant constraints in redundant modeling. ACM Transactions on Computational Logic, 8(4), article 23.
-
(2007)
ACM Transactions on Computational Logic
, vol.8
, Issue.4
-
-
Choi, C.W.1
Lee, J.H.M.2
Stuckey, P.J.3
-
9
-
-
67651129787
-
-
Cryptarithmetic puzzles. http://www.tkcs-collins.com/truman/alphamet/ alphamet.shtml. Accessed 07 December.
-
Cryptarithmetic Puzzles
-
-
-
10
-
-
67651138038
-
-
CSP competition (2006). http://cpai.ucc.ie/06/Competition.html. Accessed 07 June.
-
(2006)
CSP Competition
-
-
-
11
-
-
67651141481
-
-
CSP2SAT
-
CSP2SAT. http://bach.istc.kobe-u.ac.jp/csp2sat/. 06 December.
-
-
-
-
15
-
-
9444284184
-
Arc consistency in SAT
-
ECAI'2002, Lyon, France, July 2002
-
Gent, I. P. (2002). Arc consistency in SAT. In Proceedings of the 15th Eureopean conference on artificial intelligence, ECAI'2002, Lyon, France, July 2002 (pp. 121-125).
-
(2002)
Proceedings of the 15th Eureopean Conference on Artificial Intelligence
, pp. 121-125
-
-
Gent, I.P.1
-
16
-
-
67651126883
-
-
GECODE
-
GECODE. www.gecode.org. Accessed 07 February.
-
-
-
-
18
-
-
0025508493
-
On the parallel complexity of discrete relaxation in constraint satisfaction networks
-
S. Kasif 1990 On the parallel complexity of discrete relaxation in constraint satisfaction networks Artificial Intelligence 45 275 286
-
(1990)
Artificial Intelligence
, vol.45
, pp. 275-286
-
-
Kasif, S.1
-
20
-
-
29344442637
-
Generalized NoGoods in CSPs
-
Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05
-
Katsirelos, G., & Bacchus, F. (2005). Generalized nogoods in CSPs. In The twentieth national conference on artificial intelligence (AAAI'05) (pp. 390-396). (Pubitemid 43006807)
-
(2005)
Proceedings of the National Conference on Artificial Intelligence
, vol.1
, pp. 390-396
-
-
Katsirelos, G.1
Bacchus, F.2
-
23
-
-
67651135631
-
-
Lsencode
-
Lsencode. http://www.cs.cornell.edu/gomes/SOFT/lsencode-v1.1.tar.Z/. Accessed 07 November.
-
-
-
-
25
-
-
67651132911
-
-
Minion
-
Minion. minion.sourceforge.net. Accessed 07 Feb.
-
-
-
-
26
-
-
67651105204
-
-
MiniSat
-
MiniSat. www.cs.chalmers.se/Cs/Resarch/FormalMethods/MiniSat/. Accessed 06 December.
-
-
-
-
27
-
-
0034852165
-
Chaff: Engineering an efficient SAT solver
-
Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., & Malik, S. (2001). Chaff: Engineering an efficient SAT solver. In Proceedings of 38th conference on design automation (DAC'01) (pp. 530-535).
-
(2001)
Proceedings of 38th Conference on Design Automation (DAC'01)
, pp. 530-535
-
-
Moskewicz, M.1
Madigan, C.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
28
-
-
26844448316
-
Abstract DPLL and abstract DPLL modulo theories
-
LNAI
-
Niewenhuis, R., Oliveras, A., & Tinelli, C. (2004). Abstract DPLL and abstract DPLL modulo theories. In Proceedings of the 11th international conference on logic for programming artificial intelligence and reasoning (LPAR'04). LNAI (Vol. 3452, pp. 36-50)
-
(2004)
Proceedings of the 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'04)
, vol.3452
, pp. 36-50
-
-
Niewenhuis, R.1
Oliveras, A.2
Tinelli, C.3
-
29
-
-
84863587648
-
Modelling for lazy clause generation
-
J. Harland, & P. Manyem (Eds.) CRPIT
-
Ohrimenko, O., & Stuckey, P.J. (2008). Modelling for lazy clause generation. In J. Harland, & P. Manyem (Eds.), Proceedings of the fourteenth computing: The Australasian theory symposium (CATS 2008). CRPIT (Vol. 77, pp. 27-38)
-
(2008)
Proceedings of the Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)
, vol.77
, pp. 27-38
-
-
Ohrimenko, O.1
Stuckey, P.J.2
-
30
-
-
38149110528
-
Propagation = lazy clause generation
-
C. Bessiere (Ed.) LNCS
-
Ohrimenko, O., Stuckey, P.J., & Codish, M. (2007). Propagation = lazy clause generation. In C. Bessiere (Ed.), Proceedings of the 13th international conference on principles and practice of constraint programming. LNCS (Vol. 4741, pp. 544-558)
-
(2007)
Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming
, vol.4741
, pp. 544-558
-
-
Ohrimenko, O.1
Stuckey, P.J.2
Codish, M.3
-
32
-
-
33646180414
-
Views and iterators for generic constraint implementations
-
P. van Beek (Ed.), Proceedings of the 11th international conference on principles and practice of constraint programming (CP 2005)
-
Schulte, C., & Tack, G. (2005). Views and iterators for generic constraint implementations. In P. van Beek (Ed.), Proceedings of the 11th international conference on principles and practice of constraint programming (CP 2005). Lecture notes in computer science (Vol. 3709, pp. 817-821).
-
(2005)
Lecture Notes in Computer Science
, vol.3709
, pp. 817-821
-
-
Schulte, C.1
Tack, G.2
-
33
-
-
33750377029
-
Compiling finite linear CSP into SAT
-
4204 LNCSPrinciples and Practice of Constraint Programming - CP 2006 - 12th International Conference, CP 2006, Proceedings
-
Tamura, N., Taga, A., Kitagawa, S., Banbara, M. (2006). Compiling finite linear CSP to SAT. In F. Benhamou (Ed.), Proceedings of 12th international conference on principles and practice of constraint programming (CP2006). LNCS (Vol. 4204, pp. 590-603). (Pubitemid 44618766)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, pp. 590-603
-
-
Tamura, N.1
Taga, A.2
Kitagawa, S.3
Banbara, M.4
-
34
-
-
0032187332
-
Design, implementation, and evaluation of the constraint language cc (FD)
-
PII S0743106698100067
-
P. Van Hentenryck V. Saraswat Y. Deville 1998 Design, implementation and evaluation of the constraint language cc(FD) Journal of Logic Programming 37 1-3 139 164 (Pubitemid 128415803)
-
(1998)
Journal of Logic Programming
, vol.37
, Issue.1-3
, pp. 139-164
-
-
Van Hentenryck, P.1
Saraswat, V.2
Deville, Y.3
|