Search Results

Filter
  • 1-10 of  1,668 results for ""Problem Solving""
Item request has been placed! ×
Item request cannot be made. ×
  Processing Request
Academic Journal

Error bounds on the probabilistically optimal problem solving strategy.

  • Authors : Duriš, F. (SK-KMSKMI-C) AMS Author Profile

Subjects: 68 Computer science -- 68T Computer science -- 68T Computer science -- 68T Artificial intelligence;   68T20 Problem solving91 Game theory, economics, social and behavioral sciences -- 91A Game theory, economics, social and behavioral sciences -- 91A Game theory, economics, social and behavioral sciences -- 91A Game theory;   91A60 Probabilistic games; gambling

  • Source: Acta Mathematica Universitatis Comenianae. New Series (Acta Math. Univ. Comenian. (N.S.)) (20160101), 85, no.~2, 219-230. ISSN: 0862-9544 (print).

Record details

×
Academic Journal

Solving large problems with heuristic search: general-purpose parallel external-memory search.

Subjects: 68 Computer science -- 68T Computer science -- 68T Computer science -- 68T Artificial intelligence;   68T20 Problem solving

  • Source: Journal of Artificial Intelligence Research (J. Artificial Intelligence Res.) (20180101), 62, 233-268. ISSN: 1076-9757 (print).

Record details

×
Academic Journal

Optimal scheduling of contract algorithms for anytime problem-solving.

Subjects: 68 Computer science -- 68T Computer science -- 68T Computer science -- 68T Artificial intelligence;   68T20 Problem solving68 Computer science -- 68Q Computer science -- 68Q Computer science -- 68Q Theory of computing;   68Q17 Computational difficulty of problems; 68 Computer science -- 68W Computer science -- 68W Computer science -- 68W Algorithms

  • Source: Journal of Artificial Intelligence Research (J. Artificial Intelligence Res.) (20140101), 51, 533-554. ISSN: 1076-9757 (print).

Record details

×
Academic Journal

Equivalence of strongly connected graphs and black-and-white 2-SAT problems.

Subjects: 68 Computer science -- 68T Computer science -- 68T Computer science -- 68T Artificial intelligence;   68T20 Problem solving05 Combinatorics -- 05C Combinatorics -- 05C Combinatorics -- 05C Graph theory;   05C90 Applications; 68 Computer science -- 68R Computer science -- 68R Computer science -- 68R Discrete mathematics in relation to computer science

  • Source: Miskolc Mathematical Notes. A Publication of the University of Miskolc (Miskolc Math. Notes) (20180101), 19, no.~2, 755-768. ISSN: 1787-2405 (print).eISSN: 1787-2413.

Record details

×
Academic Journal

AND/OR search for marginal MAP.

Subjects: 68 Computer science -- 68T Computer science -- 68T Computer science -- 68T Artificial intelligence;   68T20 Problem solving

  • Source: Journal of Artificial Intelligence Research (J. Artificial Intelligence Res.) (20180101), 63, 875-921. ISSN: 1076-9757 (print).

Record details

×
Academic Journal

SMT-solvers in actions: encoding and solving selected problems in NP and EXPTIME.

Subjects: 68 Computer science -- 68T Computer science -- 68T Computer science -- 68T Artificial intelligence;   68T20 Problem solving

  • Source: Scientific Annals of Computer Science (Sci. Ann. Comput. Sci.) (20180101), 28, no.~2, 269-288. ISSN: 1843-8121 (print).eISSN: 2248-2695.

Record details

×
Academic Journal

Subsumption algorithms for three-valued geometric resolution.

Subjects: 68 Computer science -- 68T Computer science -- 68T Computer science -- 68T Artificial intelligence;   68T20 Problem solving

  • Source: Logical Methods in Computer Science (Log. Methods Comput. Sci.) (20180101), 14, no.~4, Paper No 24, 29~pp. ISSN: 1860-5974 (print).

Record details

×
Academic Journal

Using SAT solvers for synchronization issues in non-deterministic automata.

Subjects: 68 Computer science -- 68T Computer science -- 68T Computer science -- 68T Artificial intelligence;   68T20 Problem solving68 Computer science -- 68Q Computer science -- 68Q Computer science -- 68Q Theory of computing;   68Q45 Formal languages and automata

  • Source: Sibirskie Èlektronnye Matematicheskie Izvestiya. Siberian Electronic Mathematical Reports (Sib. Èlektron. Mat. Izv.) (20180101), 15, 1426-1442. ISSN: 1813-3304 (print).

Record details

×
Academic Journal

Reasoning with finite sets and cardinality constraints in SMT.

Subjects: 68 Computer science -- 68T Computer science -- 68T Computer science -- 68T Artificial intelligence;   68T20 Problem solving

  • Source: Logical Methods in Computer Science (Log. Methods Comput. Sci.) (20180101), 14, no.~4, Paper No 12, 31~pp. ISSN: 1860-5974 (print).

Record details

×
Academic Journal

Do hard SAT-related reasoning tasks become easier in the Krom fragment?

Subjects: 68 Computer science -- 68T Computer science -- 68T Computer science -- 68T Artificial intelligence;   68T20 Problem solving

  • Source: Logical Methods in Computer Science (Log. Methods Comput. Sci.) (20180101), 14, no.~4, Paper No 10, 25~pp. ISSN: 1860-5974 (print).

Record details

×
  • 1-10 of  1,668 results for ""Problem Solving""