Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (2)
Download Results
1,240,508 research outcomes, page 1 of 124,051
  • publication . Part of book or chapter of book . 2013
    Open Access
    Authors:
    G. K. Krumdick; D. J. Graziano; John N. Hryn;
    Persistent Identifiers
    Publisher: John Wiley & Sons, Inc.
    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2004
    Open Access
    Authors:
    C. Ronco; N.W. Levin;
    Persistent Identifiers
    Publisher: KARGER
    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2013
    Open Access
    Authors:
    Davies, Jessica; Bacchus, Fahiem;
    Persistent Identifiers
    Publisher: Springer Berlin Heidelberg

    maxsat is an optimization version of satisfiability. Since many practical problems involve optimization, there are a wide range of potential applications for effective maxsat solvers. In this paper we present an extensive empirical evaluation of a number of maxsat solve...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2020
    Open Access
    Authors:
    Alex X. Liu; Rui Li;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2016
    Open Access
    Authors:
    Pierrick Pourchasse;
    Persistent Identifiers
    Publisher: Presses universitaires de Rennes
    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2012
    Open Access
    Authors:
    C.A.C. Passos; M. S. Bolzan; H. Belich M.T.D. Orlando; J.L. Passamai; Juliana Ferreira; E. V. L. de Mello;
    Persistent Identifiers
    Publisher: InTech

    Since their discovery in 1986 the high-Tc superconductors (HTSC) have been employed in several applications.The expectation with the discover of new devices sparked the beginning of an intense research to understand the parameters which control the physical properties o...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2020
    Open Access
    Authors:
    Michel Rodrigues de Carvalho Perroti; Jeanette Janaina Jaber Lucato; Leticia Moraes de Aquino;
    Persistent Identifiers
    Publisher: Atena Editora
    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2019
    Open Access
    Authors:
    Lienhardt, Michael; Damiani, Ferruccio; Testa, Lorenzo; Turin, Gianluca;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Countries: France, Italy

    International audience; A Software Product Line (SPL) is a set of programs, called variants, which are generated from a common artifact base. Delta-Oriented Programming (DOP) is a flexible approach to implement SPLs. This short paper summarises the contributions publish...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2017
    Open Access French
    Authors:
    Philippe Meyzie;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France

    International audience

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2014
    Open Access
    Authors:
    Geoffrey Stokes;
    Persistent Identifiers
    Publisher: ANU Press

    The term economic rationalism is one of political categorisation, commendation and criticism. Although economic rationalist thought and policy were part of a broader international trend, the term itself represents a particularly Australian contribution to political rhet...

    Add to ORCIDorcid
1,240,508 research outcomes, page 1 of 124,051