You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Cardiff University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Cardiff University

Return to search Previous output Next output

Output 47 of 56 in the submission

Article title

Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction

Type

D - Journal article

DOI

10.1007/s10817-011-9227-0

Title of journal

Journal of Automated Reasoning

Article number

Volume number

Issue number

First page of article

493

ISSN of journal

0168-7433

Year of publication

2012

URL

http://dx.doi.org/10.1007/s10817-011-9227-0

Number of additional authors

Additional information

<22>Follow-up work by Tim Brys at the Vrije Universiteit Brussel received the best student paper award at NAFIPS 2012 and the best paper award in the combined IGEC/ESEP/BIO track at GECCO-2013 [http://www.sigevo.org/gecco-2013/papers.html]. [This can be corroborated by his supervisor, Prof. Ann Nowé: ann.nowe@vub.ac.be]

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract