Probabilistic Inductive Constraint Logic Fabrizio Riguzzi1 Elena Bellodi2 Riccardo Zese2 Giuseppe Cota2 Evelina Lamma2 Dipartimento di Matematica e Informatica – University of Ferrara Dipartimento di Ingegneria – Uni

Source URL: www.ilp2015.jp

CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects

Source URL: yices.csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Simplex algorithm

C o mp u t at io n G ro up L ect u re S eri es, D ep art m en t o f A rch i t ect u re, M assa ch u set t s In st i t u t e o f T ech n o lo gy “Constraint and Control: Towards Autonomous Behavior in the Built Environ

Source URL: descomp.scripts.mit.edu

Article Distribution and intensity of constraint in mammalian genomic sequence Gregory M. Cooper,1 Eric A. Stone,2,3 George Asimenos,4 NISC Comparative Sequencing Program,5 Eric D. Green,5 Serafim Batzoglou,4 and Arend

Source URL: mendel.stanford.edu

Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control: Preliminary Report Martin Gebser1,2 , Roland Kaminski2 , Benjamin Kaufmann2 , and Torsten Schaub2 ∗

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Mathematical logic
• Constraint programming
• Logic in computer science
• Programming paradigms
• Satisfiability modulo theories
• Answer set programming
• Stable model semantics
• G-code
• Subroutine
• Analogy
• Algorithm

Verification of Programs by Transformation of Constraint Logic Programs Emanuele De Angelis (University “d’Annunzio”, Pescara, Italy), Fabio Fioravanti (University “d’Annunzio”, Pescara, Italy),

Source URL: www.sci.unich.it

Constraint Management Principles Statement Wales & West House Spooner Close Coedkernew

Source URL: www.wwutilities.co.uk

Downloaded from www.genome.org on June 15, 2007 Article Analyses of deep mammalian sequence alignments and constraint predictions

Source URL: mendel.stanford.edu

September 20, :54 WSPC - Proceedings Trim Size: 9.75in x 6.5in

Source URL: www.jsbi.org

• Graph theory
• Mathematics
• Constraint programming
• Matroid theory
• Ear decomposition
• Graph
• Spanning tree
• Decomposition method
• Local consistency