Output details
11 - Computer Science and Informatics
Cardiff University
Article title
Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
Type
D - Journal article
Title of journal
Journal of Automated Reasoning
Article number
-
Volume number
49
Issue number
4
First page of article
493
ISSN of journal
0168-7433
Year of publication
2012
Number of additional authors
2
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
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-