Le cluster solving - integrating

Terms

7	solving
3	integrating
8	constraint

Associations

Freq.	Weight	Association
2	0.436	integrating - solving
2	0.408	constraint - integrating
3	0.401	constraint - solving

Documents par ordre de pertinence

000443 (2000)	Erica Melis [Allemagne] ; Jürgen Zimmer [Allemagne] ; Tobias Müller [Allemagne]	Integrating Constraint Solving into Proof Planning
000496 (1998)	Farid Ajili [Royaume-Uni, France] ; Hendrik C. R. Lock [Allemagne]	Integrating constraint propagation in complete solving of linear diophantine systems
000433 (2001)	Franz Baader [Allemagne] ; Klaus U. Schulz [Allemagne]	Combining Constraint Solving
000026 (2015-06-17)	Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Guillaume Moroz [France] ; Marc Pouget [France] ; Fabrice Rouillier [France] ; Michael Sagraloff [Allemagne]	Improved algorithms for solving bivariate systems via Rational Univariate Representations
000177 (2010)	Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche]	SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
000277 (2007)	Stephan Frank [Allemagne] ; Petra Hofstedt [Allemagne] ; Peter Pepper [Allemagne] ; Dirk Reckmann [Allemagne]	Solution Strategies for Multi-domain Constraint Logic Programs
000279 (2007)	Peter Schneider-Kamp [Allemagne] ; René Thiemann [Allemagne] ; Elena Annov [Israël] ; Michael Codish [Israël] ; Jürgen Giesl [Allemagne]	Proving Termination Using Recursive Path Orders and SAT Solving
000312 (2006)	Florian Kupsch [Allemagne] ; Dirk Werth [Allemagne]	Integrating Business Processes with Peer-to-Peer Technology
000366 (2004)	Volker Weispfenning [Allemagne]	Solving Constraints by Elimination Methods
000421 (2002)	Petra Hofstedt [Allemagne]	A General Approach for Building Constraint Languages
000437 (2001)	Claire Gardent [France] ; Stefan Thater [Allemagne]	Generating with a grammar based on tree descriptions: A constraint-based approach
000444 (2000)	Petra Hofstedt [Allemagne]	Cooperating Constraint Solvers
000560 (1992)	Thom Frühwirth [Allemagne] ; Alexander Herold [Allemagne] ; Volker Küchenhoff [Allemagne] ; Thierry Le Provost [Allemagne] ; Pierre Lim [Allemagne] ; Eric Monfroy [Allemagne] ; Mark Wallace [Allemagne]	Constraint Logic Programming

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022