The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for QCSP with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2002-2008 (23) 2009-2014 (16) 2019-2023 (11)
Publication types (Num. hits)
article(14) inproceedings(35) phdthesis(1)
Venues (Conferences, Journals, ...)
CP(14) CoRR(6) Constraints An Int. J.(3) CSL(3) IJCAI(2) LICS(2) SAC(2) ACM Trans. Comput. Log.(1) CSCLP(1) CSR(1) DASIP(1) ESA(1) ICALP (1)(1) ICALP (2)(1) ICTAI(1) Inf. Comput.(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Results
Found 50 publication records. Showing 50 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
166Peter Nightingale Non-binary quantified CSP: algorithms and modelling. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF QCSP, Quantified constraints, Reasoning algorithm, Modelling, Propagation algorithm
105Guillaume Verger, Christian Bessiere Guiding Search in QCSP+ with Back-Propagation. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
95Hubie Chen Quantified Constraint Satisfaction and the Polynomially Generated Powers Property. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
86Fahiem Bacchus, Kostas Stergiou 0001 Solution Directed Backjumping for QCSP. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
76Hubie Chen, Florent R. Madelaine, Barnaby Martin Quantified Constraints and Containment Problems. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
76Hubie Chen Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57David Stynes, Kenneth N. Brown Value ordering for quantified CSPs. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Value ordering, Quantified CSPs, Backtracking search
57Witold Charatonik, Michal Wrona Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Alex Ferguson, Barry O'Sullivan Relaxations and Explanations for Quantified Constraint Satisfaction Problems. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57Guillaume Verger, Christian Bessiere : A Bottom-Up Approach for Solving Quantified CSPs. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57Kostas Stergiou 0001 Repair-Based Methods for Quantified CSPs. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Hubie Chen, Víctor Dalmau From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. Search on Bibsonomy CSL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Marco Benedetti, Arnaud Lallouet, Jérémie Vautard Modeling adversary scheduling with QCSP+. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Alexandre Goldsztejn, Claude Michel, Michel Rueher Efficient handling of universally quantified inequalities. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Universally quantified inequalities, Branch and bound, Interval analysis
38Witold Charatonik, Michal Wrona Quantified Positive Temporal Constraints. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Cédric Pralet, Thomas Schiex, Gérard Verfaillie Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Manuel Bodirsky, Hubie Chen Collapsibility in Infinite-Domain Quantified Constraint Satisfaction. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Hubie Chen Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms. Search on Bibsonomy STACS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Ryan Williams 0001 Algorithms for quantified Boolean formulas. Search on Bibsonomy SODA The full citation details ... 2002 DBLP  BibTeX  RDF
33Marco Benedetti, Arnaud Lallouet, Jérémie Vautard Reusing CSP Propagators for QCSPs. Search on Bibsonomy CSCLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF QCSP, Quantified Languages
29Camille Monière, Bertrand Le Gal, Emmanuel Boutillon Real-time energy-efficient software and hardware implementations of a QCSP communication system. Search on Bibsonomy J. Syst. Archit. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
29Kassem Saied, Luis Camacho, Emmanuel Boutillon Weighted Coherent Detection of QCSP frames. Search on Bibsonomy WCNC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
29Benoît Larose, Barnaby Martin, Petar Markovic, Daniël Paulusma, Siani Smith, Stanislav Zivný QCSP on Reflexive Tournaments. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Dmitriy Zhuk, Barnaby Martin QCSP Monsters and the Demise of the Chen Conjecture. Search on Bibsonomy J. ACM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Camille Monière, Bertrand Le Gal, Emmanuel Boutillon Efficient Software and Hardware Implementations of a QCSP Communication System. Search on Bibsonomy DASIP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Kassem Saied Quasi-Cyclic Short Packet (QCSP) Transmission for IoT. (Implémentations, outils et applications émergentes pour la radio logicielle). Search on Bibsonomy 2022   RDF
29Benoît Larose, Petar Markovic, Barnaby Martin, Daniël Paulusma, Siani Smith, Stanislav Zivný QCSP on Reflexive Tournaments. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
29Benoît Larose, Petar Markovic, Barnaby Martin, Daniël Paulusma, Siani Smith, Stanislav Zivný QCSP on Reflexive Tournaments. Search on Bibsonomy ESA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
29Johannes Klaus Fichte, Markus Hecher, Maximilian F. I. Kieler Treewidth-Aware Quantifier Elimination and Expansion for QCSP. Search on Bibsonomy CP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
29Dmitriy Zhuk, Barnaby Martin QCSP monsters and the demise of the chen conjecture. Search on Bibsonomy STOC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
29Dmitriy Zhuk, Barnaby Martin QCSP monsters and the demise of the Chen Conjecture. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
29Petar Dapic, Petar Markovic, Barnaby Martin QCSP on Semicomplete Digraphs. Search on Bibsonomy ICALP (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
29Vincent Barichard, Igor Stéphan The Cut Tool for QCSP. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
29Igor Stéphan Compilation for QCSP. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
29Florent R. Madelaine, Barnaby Martin QCSP on partially reflexive cycles - the wavy line of tractability Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
29Florent R. Madelaine, Barnaby Martin QCSP on Partially Reflexive Cycles - The Wavy Line of Tractability. Search on Bibsonomy CSR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
29Ji-Wei Jin, Feifei Ma, Jian Zhang 0001 Integrating Standard Dependency Schemes in QCSP Solvers. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Florent R. Madelaine, Barnaby Martin Containment, Equivalence and Coreness from CSP to QCSP and beyond Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
29Florent R. Madelaine, Barnaby Martin Containment, Equivalence and Coreness from CSP to QCSP and Beyond. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Barnaby Martin QCSP on partially reflexive forests Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
29Cédric Pralet, Gérard Verfaillie Beyond QCSP for Solving Control Problems. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
29Barnaby Martin QCSP on Partially Reflexive Forests. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
29Ferdinand Börner, Andrei A. Bulatov, Hubie Chen, Peter Jeavons 0001, Andrei A. Krokhin The complexity of constraint satisfaction games and QCSP. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Marco Benedetti, Arnaud Lallouet, Jérémie Vautard QCSP Made Practical by Virtue of Restricted Quantification. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
29Ian P. Gent, Peter Nightingale, Kostas Stergiou 0001 QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
19Florent R. Madelaine, Barnaby Martin The Complexity of Positive First-order Logic without Equality. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Alexandre Goldsztejn, Claude Michel, Michel Rueher An efficient algorithm for a sharp approximation of universally quantified inequalities. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF continuous domains, quantified constraints, interval arithmetic
19Marco Benedetti, Arnaud Lallouet, Jérémie Vautard Quantified Constraint Optimization. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Martin Sachenbacher, Paul Maier Test Strategy Generation Using Quantified CSPs. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF adversarial planning, quantified CSPs, Test generation
19Peter Nightingale Consistency for Quantified Constraint Satisfaction Problems. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #50 of 50 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license