Torthaí Cuardaigh - enumerating constraint programming programming proof a

Cuardaigh malartuithe:
programming programming » programming programmed , programming program
enumerating constraint » enumerating constrained , integrating constraint , integrating constraints
programming proof » programming problem , programming program , programming project
proof a » proof _

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Foilsithe 2013

Clár Ábhair: “... Constraints in Probabilistic Abduction -- POLAR: A Framework for Proof Refactoring....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... -- Enumeration of the Monomials of a Polynomial and Related Complexity Classes -- Faster Approximation Schemes...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... -- Definability in Games -- From Feasible Proofs to Feasible Computations -- Tree Dualities for Constraint...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Hierarchy -- Computing by Observing: A Brief Survey -- A Quantum Information-Theoretic Proof of the Relation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... Proofs: Why Do It? and What Is It Like to Do? -- Linear Programs for the Kepler Conjecture -- A Formal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... -- Enumeration Reducibility with Polynomial Time Bounds -- Coinductive Proofs for Basic Real Computation -- A...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... the Noncuppable Ideal -- Enumeration Degrees of the Bounded Total Sets -- A Generic Set That Does Not Bound a...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng