Rectangular Decomposition of Binary Images Tom´ aˇs Suk, Cyril H¨oschl IV, and Jan Flusser Institute of Information Theory and Automation of the ASCR, Pod vod´ arenskou vˇeˇz´ı 4, Praha 8, Czech Republic

Source URL: library.utia.cas.cz

• Graph theory
• Mathematics
• Matroid theory
• Constraint programming
• Decomposition method
• Quadtree
• Tree decomposition
• Ear decomposition
• Decomposition

Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck

Source URL: www.haz.ca

• Theoretical computer science
• Mathematics
• Formal methods
• Constraint programming
• Boolean algebra
• Automated theorem proving
• DPLL algorithm
• Binary decision diagram
• Exponential time hypothesis
• Computational complexity theory
• Bayesian network
• Distribution

1 Efficient Distributed Algorithms For Structured Optimization Problems João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püschel

Source URL: www.ee.ucl.ac.uk

• A* search algorithm
• Combinatorial optimization
• Game artificial intelligence
• Constraint programming
• Decomposition method
• Binary decision diagram

The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE

Source URL: ludovicpatey.com

• Logic
• Mathematics
• Constraint programming
• Abstraction
• Model theory
• Boolean satisfiability problem
• Electronic design automation
• Logic in computer science
• Complexity of constraint satisfaction
• Constraint satisfaction problem
• Satisfiability
• Binary relation

Locally Consistent Constraint Satisfaction Problems with Binary Constraints Manuel Bodirsky ∗

Source URL: iti.mff.cuni.cz

Reasoning about Reliability and Cost using Decision Diagrams and Syntax Trees Tarik Hadzic and Helmut Simonis? Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {h.simoni

Source URL: 4c.ucc.ie

• Boolean algebra
• Graphical models
• Materials science
• Reliability engineering
• Survival analysis
• Binary decision diagram
• Connectivity
• Reliability
• Directed acyclic graph
• Statistics
• Systems engineering
• Systems science

A Constraint Seeker: Finding and Ranking Global Constraints from Examples Nicolas Beldiceanu1 and Helmut Simonis2? 1 Mines de Nantes, LINA UMR 6241, FRNantes, France

Source URL: 4c.ucc.ie

• Computing
• Constraint satisfaction problem
• Constraint
• Binary constraint
• Backtracking
• Constraint satisfaction
• Constraint logic programming
• Constraint programming
• Software engineering
• Computer programming

Minimising Decision Tree Size as Combinatorial Optimisation? Christian Bessiere1 , Emmanuel Hebrard2 , and Barry O’Sullivan2 1 LIRMM, Montpelier, France

Source URL: homepages.laas.fr

• Decision trees
• Constraint programming
• Boolean algebra
• Binary tree
• Decision tree learning
• Constraint satisfaction
• Decision tree model
• Boolean satisfiability problem
• B-tree
• Theoretical computer science
• Mathematics
• Applied mathematics

Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Canada, M5S 1A4

Source URL: www.cs.toronto.edu

• Mathematical logic
• Constraint programming
• Formal methods
• Logic in computer science
• Boolean algebra
• Boolean satisfiability problem
• Unit propagation
• Resolution
• Davis–Putnam algorithm
• Theoretical computer science
• Mathematics
• Automated theorem proving

Refutation-Complete Binary Decision Diagrams Scott P. Sanner Department of Computer Science University of Toronto Toronto, ON M5S 3G4

Source URL: users.cecs.anu.edu.au

• Boolean algebra
• Automated theorem proving
• Constraint programming
• Mathematical logic
• Diagrams
• Binary decision diagram
• DPLL algorithm
• Boolean satisfiability problem
• Resolution
• Theoretical computer science
• Mathematics
• Applied mathematics