-
1
-
-
0041633600
-
Shatter: Efficient symmetry-breaking for boolean satisfiability
-
F. A. Aloul, I. L. Markov, and K. A. Sakallah. Shatter: efficient symmetry-breaking for boolean satisfiability. In DAC, pages 836-839, 2003.
-
(2003)
DAC
, pp. 836-839
-
-
Aloul, F.A.1
Markov, I.L.2
Sakallah, K.A.3
-
3
-
-
77954992913
-
-
editors. IOS Press
-
A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors. Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2009.
-
(2009)
Handbook of Satisfiability, Volume 185 of Frontiers in Artificial Intelligence and Applications
-
-
Biere, A.1
Heule, M.2
Van Maaren, H.3
Walsh, T.4
-
4
-
-
77951556643
-
The OpenSMT solver
-
R. Bruttomesso, E. Pek, N. Sharygina, and A. Tsitovich. The OpenSMT Solver. In TACAS, pages 150-153, 2010.
-
(2010)
TACAS
, pp. 150-153
-
-
Bruttomesso, R.1
Pek, E.2
Sharygina, N.3
Tsitovich, A.4
-
5
-
-
57349111122
-
Novelty and diversity in information retrieval evaluation
-
C. L. A. Clarke, M. Kolla, G. V. Cormack, O. Vechtomova, A. Ashkan, S. Büttcher, and I. MacKinnon. Novelty and diversity in information retrieval evaluation. In SIGIR, pages 659-666, 2008.
-
(2008)
SIGIR
, pp. 659-666
-
-
Clarke, C.L.A.1
Kolla, M.2
Cormack, G.V.3
Vechtomova, O.4
Ashkan, A.5
Büttcher, S.6
MacKinnon, I.7
-
6
-
-
45749085681
-
Z3: An efficient SMT solver
-
L. M. de Moura and N. Bjørner. Z3: An Efficient SMT Solver. In TACAS, pages 337-340, 2008.
-
(2008)
TACAS
, pp. 337-340
-
-
De Moura, L.M.1
Bjørner, N.2
-
7
-
-
0034888388
-
Upper bounds on the satisfiability threshold
-
O. Dubois. Upper bounds on the satisfiability threshold. Theor. Comput. Sci., 265(1-2):187-197, 2001.
-
(2001)
Theor. Comput. Sci
, vol.265
, Issue.1-2
, pp. 187-197
-
-
Dubois, O.1
-
8
-
-
30344450270
-
An extensible SAT-solver
-
N. Eén and N. Sörensson. An Extensible SAT-solver. In SAT, pages 502-518, 2003.
-
(2003)
SAT
, pp. 502-518
-
-
Eén, N.1
Sörensson, N.2
-
9
-
-
35148888041
-
A verifiable language for programming real-time communication schedules
-
S. Fischmeister, O. Sokolsky, and I. Lee. A verifiable language for programming real-time communication schedules. IEEE Trans. Computers, 56(11):1505-1519, 2007.
-
(2007)
IEEE Trans. Computers
, vol.56
, Issue.11
, pp. 1505-1519
-
-
Fischmeister, S.1
Sokolsky, O.2
Lee, I.3
-
10
-
-
84869071944
-
Timed model checking with abstractions: Towards worst-case response time analysis in resource-sharing manycore systems
-
G. Giannopoulou, K. Lampka, N. Stoimenov, and L. Thiele. Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. In EMSOFT, pages 63-72, 2012.
-
(2012)
EMSOFT
, pp. 63-72
-
-
Giannopoulou, G.1
Lampka, K.2
Stoimenov, N.3
Thiele, L.4
-
11
-
-
33646912489
-
Tdma time slot and turn optimization with evolutionary search techniques
-
A. Hamann and R. Ernst. Tdma time slot and turn optimization with evolutionary search techniques. In DATE, pages 312-317, 2005.
-
(2005)
DATE
, pp. 312-317
-
-
Hamann, A.1
Ernst, R.2
-
12
-
-
79960350730
-
Synthesizing cyber-physical architectural models with real-time constraints
-
C. Hang, P. Manolios, and V. Papavasileiou. Synthesizing cyber-physical architectural models with real-time constraints. In CAV, pages 441-456, 2011.
-
(2011)
CAV
, pp. 441-456
-
-
Hang, C.1
Manolios, P.2
Papavasileiou, V.3
-
13
-
-
77649291545
-
Distributed, modular htl
-
T. A. Henzinger, C. M. Kirsch, E. R. B. Marques, and A. Sokolova. Distributed, modular htl. In RTSS, pages 171-180, 2009.
-
(2009)
RTSS
, pp. 171-180
-
-
Henzinger, T.A.1
Kirsch, C.M.2
Marques, E.R.B.3
Sokolova, A.4
-
14
-
-
78650636542
-
Components, platforms and possibilities: Towards generic automation for MDA
-
E. K. Jackson, E. Kang, M. Dahlweid, D. Seifert, and T. Santen. Components, Platforms and Possibilities: Towards Generic Automation for MDA. In EMSOFT, pages 39-48, 2010.
-
(2010)
EMSOFT
, pp. 39-48
-
-
Jackson, E.K.1
Kang, E.2
Dahlweid, M.3
Seifert, D.4
Santen, T.5
-
16
-
-
0034873871
-
Synthesizing distributed systems
-
O. Kupferman and M. Y. Vardi. Synthesizing distributed systems. In LICS, pages 389-398, 2001.
-
(2001)
LICS
, pp. 389-398
-
-
Kupferman, O.1
Vardi, M.Y.2
-
17
-
-
77951580492
-
Approximating the pareto front of multi-criteria optimization problems
-
J. Legriel, C. L. Guernic, S. Cotton, and O. Maler. Approximating the pareto front of multi-criteria optimization problems. In TACAS, pages 69-83, 2010.
-
(2010)
TACAS
, pp. 69-83
-
-
Legriel, J.1
Guernic, C.L.2
Cotton, S.3
Maler, O.4
-
18
-
-
78049401341
-
Evolution of the linux kernel variability model
-
R. Lotufo, S. She, T. Berger, K. Czarnecki, and A. Wasowski. Evolution of the linux kernel variability model. In SPLC, pages 136-150, 2010.
-
(2010)
SPLC
, pp. 136-150
-
-
Lotufo, R.1
She, S.2
Berger, T.3
Czarnecki, K.4
Wasowski, A.5
-
19
-
-
79959440176
-
Generating diverse solutions in SAT
-
A. Nadel. Generating Diverse Solutions in SAT. In SAT, pages 287-301, 2011.
-
(2011)
SAT
, pp. 287-301
-
-
Nadel, A.1
-
20
-
-
0142156696
-
Constraint-based design-space exploration and model synthesis
-
S. Neema, J. Sztipanovits, G. Karsai, and K. Butts. Constraint-based design-space exploration and model synthesis. In EMSOFT, pages 290-305, 2003.
-
(2003)
EMSOFT
, pp. 290-305
-
-
Neema, S.1
Sztipanovits, J.2
Karsai, G.3
Butts, K.4
-
21
-
-
80052678758
-
Symbolic system synthesis in the presence of stringent real-time constraints
-
F. Reimann, M. Lukasiewycz, M. Glaß, C. Haubelt, and J. Teich. Symbolic system synthesis in the presence of stringent real-time constraints. In DAC, pages 393-398, 2011.
-
(2011)
DAC
, pp. 393-398
-
-
Reimann, F.1
Lukasiewycz, M.2
Glaß, M.3
Haubelt, C.4
Teich, J.5
-
22
-
-
37149013755
-
Kodkod: A relational model finder
-
E. Torlak and D. Jackson. Kodkod: A relational model finder. In TACAS, pages 632-647, 2007.
-
(2007)
TACAS
, pp. 632-647
-
-
Torlak, E.1
Jackson, D.2
-
23
-
-
84860411740
-
Maximizing population diversity in single-objective optimization
-
T. Ulrich and L. Thiele. Maximizing population diversity in single-objective optimization. In GECCO, pages 641-648, 2011.
-
(2011)
GECCO
, pp. 641-648
-
-
Ulrich, T.1
Thiele, L.2
-
24
-
-
84866622937
-
Personalized diversification of search results
-
D. Vallet and P. Castells. Personalized diversification of search results. In SIGIR, pages 841-850, 2012.
-
(2012)
SIGIR
, pp. 841-850
-
-
Vallet, D.1
Castells, P.2
-
25
-
-
80052105111
-
Polychronous controller synthesis from marte ccsl timing specifications
-
H. Yu, J.-P. Talpin, L. Besnard, T. Gautier, H. Marchand, and P. L. Guernic. Polychronous controller synthesis from marte ccsl timing specifications. In MEMOCODE, pages 21-30, 2011.
-
(2011)
MEMOCODE
, pp. 21-30
-
-
Yu, H.1
Talpin, J.-P.2
Besnard, L.3
Gautier, T.4
Marchand, H.5
Guernic, P.L.6
|