-
Analiza in primerjava reševalnikov tekmovanja SAT : diplomsko delo : univerzitetni študijski program prve stopnje Računalništvo in informatikaBarbo, Janez, računalničarType of material - undergraduate thesis ; adult, seriousPublication and manufacture - Ljubljana : [J. Barbo], 2024Language - slovenianCOBISS.SI-ID - 200618243
Author
Barbo, Janez, računalničar
Other authors
Čibej, Uroš
Topics
Univerzitetna in visokošolska dela |
SAT |
boolean |
reševalnik |
algoritmi |
DPLI |
CDCL |
univerzitetni študij |
diplomske naloge |
SAT |
boolean |
solver |
algorithms |
DPLI |
CDCL |
computer and information science |
diploma
Call number – location, accession no. ... |
Copy status | Reservation |
---|---|---|
FRIdipl 0000002665 IN: 206003451 FRIdipl 2665 IN: 206003451 |
available - reading room
|
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|---|
Barbo, Janez, računalničar | |
Čibej, Uroš | 23400 |
Select pickup location:
Material pickup by post
Notification
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.