-
1
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
Allen J.F. Maintaining knowledge about temporal intervals. Communications of the ACM 26 (1983) 832-843
-
(1983)
Communications of the ACM
, vol.26
, pp. 832-843
-
-
Allen, J.F.1
-
2
-
-
29344433076
-
-
Anbulagan, D. Nghia Pham, J. Slaney, A. Sattar, Old resolution meets modern SLS, in: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005, pp. 354-359
-
Anbulagan, D. Nghia Pham, J. Slaney, A. Sattar, Old resolution meets modern SLS, in: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005, pp. 354-359
-
-
-
-
3
-
-
84943248441
-
-
A. Armando, C. Castellini, E. Giunchiglia, SAT-based procedures for temporal reasoning, in: Proceedings of the Fifth European Conference on Planning, 2000, pp. 97-108
-
A. Armando, C. Castellini, E. Giunchiglia, SAT-based procedures for temporal reasoning, in: Proceedings of the Fifth European Conference on Planning, 2000, pp. 97-108
-
-
-
-
4
-
-
21644476860
-
-
A. Armando, C. Castellini, E. Giunchiglia, M. Idini, M. Maratea, TSAT++: An open platform for satisfiability modulo theories, in: Proceedings of the Second Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR-04), 2004
-
A. Armando, C. Castellini, E. Giunchiglia, M. Idini, M. Maratea, TSAT++: An open platform for satisfiability modulo theories, in: Proceedings of the Second Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR-04), 2004
-
-
-
-
5
-
-
26444462481
-
-
A. Armando, C. Castellini, E. Giunchiglia, M. Maratea, A SAT-based decision procedure for the boolean combination of difference constraints, in: Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing SAT 2004, Selected Revised Papers, Lecture Notes in Computer Science, vol. 3542, 2004, pp. 16-29
-
A. Armando, C. Castellini, E. Giunchiglia, M. Maratea, A SAT-based decision procedure for the boolean combination of difference constraints, in: Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing SAT 2004, Selected Revised Papers, Lecture Notes in Computer Science, vol. 3542, 2004, pp. 16-29
-
-
-
-
6
-
-
50649101805
-
-
R. Béjar, F. Manyà, Solving the round robin problem using propositional logic, in: Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-00), 2000, pp. 262-266
-
R. Béjar, F. Manyà, Solving the round robin problem using propositional logic, in: Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-00), 2000, pp. 262-266
-
-
-
-
7
-
-
35048825734
-
-
C. Bessière, E. Hebrard, T. Walsh, Local consistencies in SAT, in: Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing SAT 2003, Selected Revised Papers, Lecture Notes in Computer Science, vol. 2919, 2003, pp. 299-314
-
C. Bessière, E. Hebrard, T. Walsh, Local consistencies in SAT, in: Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing SAT 2003, Selected Revised Papers, Lecture Notes in Computer Science, vol. 2919, 2003, pp. 299-314
-
-
-
-
8
-
-
50649115839
-
-
P. Cheeseman, B. Kanefsky, W.M. Taylor, Where the really hard problems are, in: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), 1991, pp. 331-337
-
P. Cheeseman, B. Kanefsky, W.M. Taylor, Where the really hard problems are, in: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), 1991, pp. 331-337
-
-
-
-
9
-
-
0030108241
-
Experimental results on the crossover point in random 3-SAT
-
Crawford J.M., and Auton L.D. Experimental results on the crossover point in random 3-SAT. Artificial Intelligence 81 1-2 (1996) 31-57
-
(1996)
Artificial Intelligence
, vol.81
, Issue.1-2
, pp. 31-57
-
-
Crawford, J.M.1
Auton, L.D.2
-
13
-
-
33749846787
-
-
B. Dutertre, L. Mendonça de Moura, A fast linear-arithmetic solver for DPLL(T), in: Proceedings of the Eighteenth International Conference on Computer Aided Verification, 2006, pp. 81-94
-
B. Dutertre, L. Mendonça de Moura, A fast linear-arithmetic solver for DPLL(T), in: Proceedings of the Eighteenth International Conference on Computer Aided Verification, 2006, pp. 81-94
-
-
-
-
14
-
-
30344450270
-
-
N. Eén, N. Sörensson, An extensible SAT solver, in: Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT-03), Selected Revised Papers, Lecture Notes in Computer Science, vol. 2919, 2003, pp. 502-518
-
N. Eén, N. Sörensson, An extensible SAT solver, in: Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT-03), Selected Revised Papers, Lecture Notes in Computer Science, vol. 2919, 2003, pp. 502-518
-
-
-
-
15
-
-
0018031196
-
Synthesizing constraint expressions
-
Freuder E.C. Synthesizing constraint expressions. Communication of ACM 21 11 (1978) 958-966
-
(1978)
Communication of ACM
, vol.21
, Issue.11
, pp. 958-966
-
-
Freuder, E.C.1
-
16
-
-
0019899621
-
A sufficient condition for backtrack-free search
-
Freuder E.C. A sufficient condition for backtrack-free search. Journal of ACM 29 1 (1982) 24-32
-
(1982)
Journal of ACM
, vol.29
, Issue.1
, pp. 24-32
-
-
Freuder, E.C.1
-
17
-
-
84880872693
-
-
A.M. Frisch, T.J. Peugniez, Solving non-Boolean satisfiability problems with stochastic local search, in: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01), 2001, pp. 282-290
-
A.M. Frisch, T.J. Peugniez, Solving non-Boolean satisfiability problems with stochastic local search, in: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01), 2001, pp. 282-290
-
-
-
-
18
-
-
50649121157
-
-
I.P. Gent, Arc consistency in SAT, in: Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI-02), 2002, pp. 121-125
-
I.P. Gent, Arc consistency in SAT, in: Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI-02), 2002, pp. 121-125
-
-
-
-
19
-
-
50649117642
-
-
I.P. Gent, T. Walsh, The SAT phase transition, in: Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), 1994, pp. 105-109
-
I.P. Gent, T. Walsh, The SAT phase transition, in: Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), 1994, pp. 105-109
-
-
-
-
21
-
-
0027694565
-
Complexity and algorithms for reasoning about time: A graph-theoretic approach
-
Golumbic M.C., and Shamir R. Complexity and algorithms for reasoning about time: A graph-theoretic approach. Journal of ACM (1993) 1108-1133
-
(1993)
Journal of ACM
, pp. 1108-1133
-
-
Golumbic, M.C.1
Shamir, R.2
-
22
-
-
0019067870
-
Increasing tree search efficiency for constraint satisfaction problems
-
Haralick R.M., and Elliott G.L. Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence 14 3 (1980) 263-313
-
(1980)
Artificial Intelligence
, vol.14
, Issue.3
, pp. 263-313
-
-
Haralick, R.M.1
Elliott, G.L.2
-
23
-
-
0001157019
-
Needed: an empirical science of algorithms
-
Hooker J.N. Needed: an empirical science of algorithms. Operations Research 42 2 (1994) 201-212
-
(1994)
Operations Research
, vol.42
, Issue.2
, pp. 201-212
-
-
Hooker, J.N.1
-
24
-
-
84880685538
-
-
H.H. Hoos, SAT-encodings, search space structure, and local search performance, in: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), 1999, pp. 296-302
-
H.H. Hoos, SAT-encodings, search space structure, and local search performance, in: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), 1999, pp. 296-302
-
-
-
-
25
-
-
84957015736
-
-
F. Hutter, D.A.D. Tompkins, H.H. Hoos, Scaling and probabilistic smoothing: Efficient dynamic local search for SAT, in: Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP-02), 2002, pp. 233-248
-
F. Hutter, D.A.D. Tompkins, H.H. Hoos, Scaling and probabilistic smoothing: Efficient dynamic local search for SAT, in: Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP-02), 2002, pp. 233-248
-
-
-
-
26
-
-
50649108048
-
-
H. Kautz, D. McAllester, B. Selman, Encoding plans in propositional logic, in: Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR-96), 1996, pp. 374-384
-
H. Kautz, D. McAllester, B. Selman, Encoding plans in propositional logic, in: Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR-96), 1996, pp. 374-384
-
-
-
-
27
-
-
84880900032
-
-
H. Kautz, Y. Ruan, D. Achlioptas, C. Gomes, B. Selman, M. Stickel, Balance and filtering in structured satisfiable problems, in: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01), 2001, pp. 351-358
-
H. Kautz, Y. Ruan, D. Achlioptas, C. Gomes, B. Selman, M. Stickel, Balance and filtering in structured satisfiable problems, in: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01), 2001, pp. 351-358
-
-
-
-
28
-
-
0030352389
-
-
H. Kautz, B. Selman, Pushing the envelope: Planning, propositional logic, and stochastic search, in: Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), 1996, pp. 1194-1201
-
H. Kautz, B. Selman, Pushing the envelope: Planning, propositional logic, and stochastic search, in: Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), 1996, pp. 1194-1201
-
-
-
-
29
-
-
0026926122
-
Effective solution of qualitative interval constraint problems
-
Ladkin P., and Reinefeld A. Effective solution of qualitative interval constraint problems. Artificial Intelligence 57 1 (1992) 105-124
-
(1992)
Artificial Intelligence
, vol.57
, Issue.1
, pp. 105-124
-
-
Ladkin, P.1
Reinefeld, A.2
-
30
-
-
2442453166
-
-
P. Ladkin, A. Reinefeld, A symbolic approach to interval constraint problems, in: Artificial Intelligence and Symbolic Mathematical Computation, 1993, pp. 65-84
-
P. Ladkin, A. Reinefeld, A symbolic approach to interval constraint problems, in: Artificial Intelligence and Symbolic Mathematical Computation, 1993, pp. 65-84
-
-
-
-
32
-
-
84948992651
-
-
C.M. Li, Anbulagan, Look-ahead versus look-back for satisfiability problems, in: Proceedings of the Third International Conference on Principles and Practice of Constraint Programming (CP-97), 1997, pp. 341-355
-
C.M. Li, Anbulagan, Look-ahead versus look-back for satisfiability problems, in: Proceedings of the Third International Conference on Principles and Practice of Constraint Programming (CP-97), 1997, pp. 341-355
-
-
-
-
33
-
-
49449120803
-
Consistency in networks of relations
-
Mackworth A.K. Consistency in networks of relations. Artificial Intelligence 8 1 (1977) 99-118
-
(1977)
Artificial Intelligence
, vol.8
, Issue.1
, pp. 99-118
-
-
Mackworth, A.K.1
-
34
-
-
0027002161
-
-
D. Mitchell, B. Selman, H. Levesque, Hard and easy distributions of SAT problems, in: Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), 1992, pp. 459-465
-
D. Mitchell, B. Selman, H. Levesque, Hard and easy distributions of SAT problems, in: Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), 1992, pp. 459-465
-
-
-
-
35
-
-
0034852165
-
-
M.W. Moskewicz, C.F. Madigan, Y. Zhao, L. Zhang, S. Malik, Chaff: Engineering an efficient SAT solver, in: Proceedings of the 38th Design Automation Conference (DAC-01), 2001, pp. 530-535
-
M.W. Moskewicz, C.F. Madigan, Y. Zhao, L. Zhang, S. Malik, Chaff: Engineering an efficient SAT solver, in: Proceedings of the 38th Design Automation Conference (DAC-01), 2001, pp. 530-535
-
-
-
-
36
-
-
0000501088
-
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
-
Nebel B. Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. Constraints 1 3 (1997) 175-190
-
(1997)
Constraints
, vol.1
, Issue.3
, pp. 175-190
-
-
Nebel, B.1
-
37
-
-
0029229419
-
Reasoning about temporal relations: A maximal tractable subclass of Allen's Interval Algebra
-
Nebel B., and Bürckert H.-J. Reasoning about temporal relations: A maximal tractable subclass of Allen's Interval Algebra. Journal of ACM 42 1 (1995) 43-66
-
(1995)
Journal of ACM
, vol.42
, Issue.1
, pp. 43-66
-
-
Nebel, B.1
Bürckert, H.-J.2
-
38
-
-
50649103170
-
-
D. Nghia Pham, J. Thornton, A. Sattar, Modelling and solving temporal reasoning as satisfiability, in: Proceedings of the 4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 2005, pp. 117-131
-
D. Nghia Pham, J. Thornton, A. Sattar, Modelling and solving temporal reasoning as satisfiability, in: Proceedings of the 4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 2005, pp. 117-131
-
-
-
-
39
-
-
33750349814
-
-
D. Nghia Pham, J. Thornton, A. Sattar, Towards an efficient SAT encoding for temporal reasoning, in: Proceedings of the Twelfth International Conference on the Principles and Practice of Constraint Programming (CP-06), 2006, pp. 421-436
-
D. Nghia Pham, J. Thornton, A. Sattar, Towards an efficient SAT encoding for temporal reasoning, in: Proceedings of the Twelfth International Conference on the Principles and Practice of Constraint Programming (CP-06), 2006, pp. 421-436
-
-
-
-
40
-
-
29344447101
-
-
D. Nghia Pham, J. Thornton, A. Sattar, A. Ishtaiwi, SAT-based versus CSP-based constraint weighting for satisfiability, in: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005, pp. 455-460
-
D. Nghia Pham, J. Thornton, A. Sattar, A. Ishtaiwi, SAT-based versus CSP-based constraint weighting for satisfiability, in: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005, pp. 455-460
-
-
-
-
41
-
-
35048876658
-
-
S. Prestwich, Local search on SAT-encoded colouring problems, in: Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT-03), Selected Revised Papers, Lecture Notes in Computer Science, vol. 2919, 2003, pp. 105-119
-
S. Prestwich, Local search on SAT-encoded colouring problems, in: Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT-03), Selected Revised Papers, Lecture Notes in Computer Science, vol. 2919, 2003, pp. 105-119
-
-
-
-
42
-
-
0030110022
-
An empirical study of phase transitions in binary constraint satisfaction problems
-
Prosser P. An empirical study of phase transitions in binary constraint satisfaction problems. Artificial Intelligence 81 1-2 (1996) 81-109
-
(1996)
Artificial Intelligence
, vol.81
, Issue.1-2
, pp. 81-109
-
-
Prosser, P.1
-
43
-
-
84957715065
-
-
A.K. Pujari, G. Vijaya Kumari, A. Sattar, INDU: An interval and duration network, in: Proceedings of the Twelfth Australian Joint Conference on Artificial Intelligence, 1999, pp. 291-303
-
A.K. Pujari, G. Vijaya Kumari, A. Sattar, INDU: An interval and duration network, in: Proceedings of the Twelfth Australian Joint Conference on Artificial Intelligence, 1999, pp. 291-303
-
-
-
-
44
-
-
50649088285
-
-
S. Ranise, C. Tinelli, The Satisfiability Modulo Theories Library (SMT-LIB), www.SMT-LIB.org, 2006
-
S. Ranise, C. Tinelli, The Satisfiability Modulo Theories Library (SMT-LIB), www.SMT-LIB.org, 2006
-
-
-
-
46
-
-
84880687355
-
-
B. Selman, H. Kautz, D. McAllester, Ten challenges in propositional reasoning and search, in: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 1997, pp. 50-54
-
B. Selman, H. Kautz, D. McAllester, Ten challenges in propositional reasoning and search, in: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 1997, pp. 50-54
-
-
-
-
47
-
-
0030105626
-
Locating the phase transition in binary constraint satisfaction problems
-
Smith B.M., and Dyer M.E. Locating the phase transition in binary constraint satisfaction problems. Artificial Intelligence 81 1-2 (1996) 155-181
-
(1996)
Artificial Intelligence
, vol.81
, Issue.1-2
, pp. 155-181
-
-
Smith, B.M.1
Dyer, M.E.2
-
48
-
-
1342303476
-
A local search approach to modelling and solving Interval Algebra problems
-
Thornton J., Beaumont M., Sattar A., and Maher M. A local search approach to modelling and solving Interval Algebra problems. Journal of Logic and Computation 14 1 (2004) 93-112
-
(2004)
Journal of Logic and Computation
, vol.14
, Issue.1
, pp. 93-112
-
-
Thornton, J.1
Beaumont, M.2
Sattar, A.3
Maher, M.4
-
49
-
-
9444249836
-
-
J. Thornton, D. Nghia Pham, S. Bain, V. Ferreira Jr., Additive versus multiplicative clause weighting for SAT, in: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-04), 2004, pp. 191-196
-
J. Thornton, D. Nghia Pham, S. Bain, V. Ferreira Jr., Additive versus multiplicative clause weighting for SAT, in: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-04), 2004, pp. 191-196
-
-
-
-
50
-
-
0242334187
-
Efficient solution techniques for disjunctive temporal reasoning problems
-
Tsamardinos I., and Pollack M. Efficient solution techniques for disjunctive temporal reasoning problems. Artificial Intelligence 151 1 (2003) 43-89
-
(2003)
Artificial Intelligence
, vol.151
, Issue.1
, pp. 43-89
-
-
Tsamardinos, I.1
Pollack, M.2
-
51
-
-
0002257189
-
Reasoning about qualitative temporal information
-
van Beek P. Reasoning about qualitative temporal information. Artificial Intelligence 58 (1992) 297-326
-
(1992)
Artificial Intelligence
, vol.58
, pp. 297-326
-
-
van Beek, P.1
-
52
-
-
84990586467
-
Exact and approximate reasoning about temporal relations
-
van Beek P., and Cohen R. Exact and approximate reasoning about temporal relations. Computational Intelligence 6 (1990) 132-144
-
(1990)
Computational Intelligence
, vol.6
, pp. 132-144
-
-
van Beek, P.1
Cohen, R.2
-
54
-
-
50649120247
-
-
M. Vilain, H. Kautz, Constraint propagation algorithms for temporal reasoning, in: Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), 1986, pp. 377-382
-
M. Vilain, H. Kautz, Constraint propagation algorithms for temporal reasoning, in: Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), 1986, pp. 377-382
-
-
-
-
55
-
-
84897712733
-
-
T. Walsh, SAT v CSP, in: Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming (CP-00), 2000, pp. 441-456
-
T. Walsh, SAT v CSP, in: Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming (CP-00), 2000, pp. 441-456
-
-
-
|