Constraints (Artificial intelligence)

Bridging constraint satisfaction and Boolean satisfiability by: (書目-語言資料,印刷品)

Recent advances in constraints = 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Efficient solving of large arithmetic constraint systems with complex Boolean structure = proof engines for the analysis of hybrid discrete-continuous systems / by: (書目-語言資料,印刷品)

Complexity of constraints = an overview of current research themes / by: (書目-語言資料,印刷品)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : = 7th international conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010 : proceedings / by: (書目-語言資料,印刷品)

Practice and theory of automated timetabling. = 4th international conference, PATAT 2002, Gent, Belgium, August 21-23, 2002 : selected revised papers /. IV by: (書目-語言資料,印刷品)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = first international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : proceedings / by: (書目-語言資料,印刷品)

Handbook of parallel constraint reasoning by: (書目-語言資料,印刷品)

Symbolic and Algebraic Manipulation.

Algebra, Boolean.

Theory of Computation.

Combinatorial optimization

Operations research

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer science

Artificial Intelligence (incl. Robotics)

Artificial intelligence

Computational complexity.

Scheduling

Constraint programming (Computer science)

Parallel programming (Computer science)

Computer Science, general.

Programming Languages, Compilers, Interpreters.

Algorithm Analysis and Problem Complexity.

Data Structures.

Computer Science.

Optimization.

Operations Research/Decision Theory.

Computer Graphics.

Constraints (Artificial intelligence)

Discrete Mathematics in Computer Science.

Numeric Computing.

Automatic theorem proving.