Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Gent, I. P."'
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 12, pages 235-270, 2000
The local search algorithm WSat is one of the most successful algorithms for solving the satisfiability (SAT) problem. It is notably effective at solving hard Random 3-SAT instances near the so-called `satisfiability threshold', but still shows a pea
Externí odkaz:
http://arxiv.org/abs/1106.0240
Autor:
Gent, I. P., Walsh, T.
Publikováno v:
Journal of Artificial Intelligence Research, Vol 1, (1993), 47-59
We describe an extensive study of search in GSAT, an approximation procedure for propositional satisfiability. GSAT performs greedy hill-climbing on the number of satisfied clauses in a truth assignment. Our experiments provide a more complete pictur
Externí odkaz:
http://arxiv.org/abs/cs/9309101
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bessière, Christian, Gent, I. P., Kelsey, T., Linton, S. A., Pearson, J.
Publikováno v:
Principles & Practice of Constraint Programming - CP 2007; 2007, p823-830, 8p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Gent, I. P., Walsh, T.
Publikováno v:
Artificial Intelligence; 1996, Vol. 88 Issue: 1 p349-358, 10p
Autor:
Gent, I. P., Walsh, T.
Publikováno v:
Artificial Intelligence; 1996, Vol. 81 Issue: 1 p59-80, 22p
Autor:
Seelen, J., Van Kessel, H., Eskes, T., Van Leusden, H., Been, J., Evers, J., Van Gent, I., Peeters, L., Van der Velden, W., Zonderland, F.
Publikováno v:
American Journal of Obstetrics and Gynecology; July 1966, Vol. 95 Issue: 6 p872-876, 5p
Publikováno v:
Acta Obstetricia et Gynecologica Scandinavica; 1967, Vol. 46 Issue: 3 p340-353, 14p
Publikováno v:
Scopus-Elsevier
University of St Andrews CRIS
University of St Andrews CRIS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::28271051bfcd440b688cbdc9c4171d87
http://www.scopus.com/inward/record.url?eid=2-s2.0-84886023919&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84886023919&partnerID=MN8TOARS