Showing
1 - 1
results of
1
for search '
"NGUYEN, Van-Hau"
'
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Format:
Remove Filter
Book Chapter
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Format:
Remove Filter
Book Chapter
Search Results - "NGUYEN, Van-Hau"
Showing
1 - 1
results of
1
for search '
"NGUYEN, Van-Hau"
'
, query time: 0.51s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
Representative Encodings to Translate Finite CSPs into SAT
by
Barahona, Pedro
,
Hölldobler, Steffen
,
Nguyen
,
Van
-
Hau
Published in
Integration of AI and OR Techniques in Constraint Programming
Get full text
Book Chapter
Save to List
Saved in:
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Book Chapter
Subject Area
applied sciences
1 results
1
computer science
1 results
1
Topic
binary clause
1 results
1
boolean variable
1 results
1
conjunctive normal form
1 results
1
constraint satisfaction problem
1 results
1
golomb ruler
1 results
1
Language
English
1 results
1
Year of Publication
From:
To: